Differences From Artifact [7dc6e9ff14]:

• File src/default_css.txt — part of check-in [439f446df6] at 2020-05-14 23:34:29 on branch fileedit-ajaxify — EOL conversion: had neglected to pass that option on in the ajax request. Fixed a bug which caused duplicate CRs to get injected into force-to-windows-EOL conversions. (user: stephan size: 22251)

To Artifact [3def0db829]:

• File src/default_css.txt — part of check-in [d130f35687] at 2020-05-15 18:43:42 on branch fileedit-ajaxify — /fileedit now uses fileStorage or sessionStorage, if available, to store unsaved local edits to the 7 most recently edited checkin/file combinations. TODO: make that configurable and offer a widget to manage that stash and quickly switch between those files. It warns loudly if persistent storage is not available. (user: stephan size: 22353)

885
886
887
888
889
890
891






892
893
894
895
896
897
898

}
.error {
  color: darkred;
  background: yellow;
}
body.fileedit .error {
  padding: 0.25em;






}
//////////////////////////////////
// Styles for fossil.tabs.js:
.tab-container {
  width: 100%;
  display: flex;
  flex-direction: column;

>
>
>
>
>
>

885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904

}
.error {
  color: darkred;
  background: yellow;
}
body.fileedit .error {
  padding: 0.25em;
}
body.fileedit .warning {
  color: darkred;
  background: yellow;
  padding: 0.25em;
  opacity: 0.6;
}
//////////////////////////////////
// Styles for fossil.tabs.js:
.tab-container {
  width: 100%;
  display: flex;
  flex-direction: column;