##// END OF EJS Templates
DEV: Allow CheckpointManagers to optimize for shared backends....
DEV: Allow CheckpointManagers to optimize for shared backends. On `create_checkpoint` and `restore_checkpoint`, pass a path and a `ContentsManager` to `CheckpointManager` instead of an already-loaded model. The `CheckpointManager` base class provides a correct implementation of these methods that's generic across any ContentsManager, but subclasses are free to specialize when the storage backend of `ContentsManager` is shared.

File last commit:

r19658:24d572e0
r19828:adba75fe
Show More
savewidget.less
42 lines | 878 B | text/x-less | LessCssLexer
span.save_widget {
margin-top: 6px;
span.filename {
height: 1em;
line-height: 1em;
padding: 3px;
margin-left: @padding-large-horizontal;
border: none;
font-size: 146.5%;
&:hover{
// ensure body is lighter on dark palette,
// and vice versa
background-color:contrast(@body-bg, lighten(@body-bg,30%), darken(@body-bg,10%));
}
.corner-all;
}
}
span.checkpoint_status, span.autosave_status {
font-size: small;
}
@media (max-width: 767px) {
span.save_widget {
font-size: small;
}
span.checkpoint_status, span.autosave_status {
display: none;
}
}
@media (min-width: 768px) and (max-width: 979px) {
span.checkpoint_status {
display: none;
}
span.autosave_status {
font-size: x-small;
}
}