Fossil SCM
Renamed the fileedit/wikiedit stash index keys to avoid breakage if they edit a file/page named 'index' (this unfortunately invalidates any local-storage edits in /filepage). Minor wiki page selection list style tweak.
Commit
8975f7247adf41970b054b8783b843921dc32f2ad0818f4cfdb5e3e155857e90
Parent
31c5e1fd86b4445…
3 files changed
+1
-1
+1
-1
+4
+1
-1
| --- src/fossil.page.fileedit.js | ||
| +++ src/fossil.page.fileedit.js | ||
| @@ -121,11 +121,11 @@ | ||
| 121 | 121 | and that would be horribly inefficient (meaning "battery-consuming" |
| 122 | 122 | on mobile devices). |
| 123 | 123 | */ |
| 124 | 124 | const $stash = { |
| 125 | 125 | keys: { |
| 126 | - index: F.page.name+'/index' | |
| 126 | + index: F.page.name+'.index' | |
| 127 | 127 | }, |
| 128 | 128 | /** |
| 129 | 129 | index: { |
| 130 | 130 | "CHECKIN_HASH:FILENAME": {file info w/o content} |
| 131 | 131 | ... |
| 132 | 132 |
| --- src/fossil.page.fileedit.js | |
| +++ src/fossil.page.fileedit.js | |
| @@ -121,11 +121,11 @@ | |
| 121 | and that would be horribly inefficient (meaning "battery-consuming" |
| 122 | on mobile devices). |
| 123 | */ |
| 124 | const $stash = { |
| 125 | keys: { |
| 126 | index: F.page.name+'/index' |
| 127 | }, |
| 128 | /** |
| 129 | index: { |
| 130 | "CHECKIN_HASH:FILENAME": {file info w/o content} |
| 131 | ... |
| 132 |
| --- src/fossil.page.fileedit.js | |
| +++ src/fossil.page.fileedit.js | |
| @@ -121,11 +121,11 @@ | |
| 121 | and that would be horribly inefficient (meaning "battery-consuming" |
| 122 | on mobile devices). |
| 123 | */ |
| 124 | const $stash = { |
| 125 | keys: { |
| 126 | index: F.page.name+'.index' |
| 127 | }, |
| 128 | /** |
| 129 | index: { |
| 130 | "CHECKIN_HASH:FILENAME": {file info w/o content} |
| 131 | ... |
| 132 |
+1
-1
| --- src/fossil.page.wikiedit.js | ||
| +++ src/fossil.page.wikiedit.js | ||
| @@ -111,11 +111,11 @@ | ||
| 111 | 111 | and that would be horribly inefficient (meaning "battery-consuming" |
| 112 | 112 | on mobile devices). |
| 113 | 113 | */ |
| 114 | 114 | const $stash = { |
| 115 | 115 | keys: { |
| 116 | - index: F.page.name+'/index' | |
| 116 | + index: F.page.name+'.index' | |
| 117 | 117 | }, |
| 118 | 118 | /** |
| 119 | 119 | index: { |
| 120 | 120 | "PAGE_NAME": {wiki page info w/o content} |
| 121 | 121 | ... |
| 122 | 122 |
| --- src/fossil.page.wikiedit.js | |
| +++ src/fossil.page.wikiedit.js | |
| @@ -111,11 +111,11 @@ | |
| 111 | and that would be horribly inefficient (meaning "battery-consuming" |
| 112 | on mobile devices). |
| 113 | */ |
| 114 | const $stash = { |
| 115 | keys: { |
| 116 | index: F.page.name+'/index' |
| 117 | }, |
| 118 | /** |
| 119 | index: { |
| 120 | "PAGE_NAME": {wiki page info w/o content} |
| 121 | ... |
| 122 |
| --- src/fossil.page.wikiedit.js | |
| +++ src/fossil.page.wikiedit.js | |
| @@ -111,11 +111,11 @@ | |
| 111 | and that would be horribly inefficient (meaning "battery-consuming" |
| 112 | on mobile devices). |
| 113 | */ |
| 114 | const $stash = { |
| 115 | keys: { |
| 116 | index: F.page.name+'.index' |
| 117 | }, |
| 118 | /** |
| 119 | index: { |
| 120 | "PAGE_NAME": {wiki page info w/o content} |
| 121 | ... |
| 122 |
| --- src/style.wikiedit.css | ||
| +++ src/style.wikiedit.css | ||
| @@ -71,10 +71,14 @@ | ||
| 71 | 71 | /* Needed for wide diffs */ |
| 72 | 72 | overflow: auto; |
| 73 | 73 | } |
| 74 | 74 | body.wikiedit .wikiedit-page-list-wrapper fieldset { |
| 75 | 75 | padding: 0.25em; |
| 76 | +} | |
| 77 | +body.wikiedit .wikiedit-page-list-wrapper fieldset > :not(legend) { | |
| 78 | + /* Stretch page selection list when it's empty or only has short page names */ | |
| 79 | + width: 100%; | |
| 76 | 80 | } |
| 77 | 81 | body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper { |
| 78 | 82 | /* Container for the filter and edit status fieldsets */ |
| 79 | 83 | display: flex; |
| 80 | 84 | flex-direction: row; |
| 81 | 85 |
| --- src/style.wikiedit.css | |
| +++ src/style.wikiedit.css | |
| @@ -71,10 +71,14 @@ | |
| 71 | /* Needed for wide diffs */ |
| 72 | overflow: auto; |
| 73 | } |
| 74 | body.wikiedit .wikiedit-page-list-wrapper fieldset { |
| 75 | padding: 0.25em; |
| 76 | } |
| 77 | body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper { |
| 78 | /* Container for the filter and edit status fieldsets */ |
| 79 | display: flex; |
| 80 | flex-direction: row; |
| 81 |
| --- src/style.wikiedit.css | |
| +++ src/style.wikiedit.css | |
| @@ -71,10 +71,14 @@ | |
| 71 | /* Needed for wide diffs */ |
| 72 | overflow: auto; |
| 73 | } |
| 74 | body.wikiedit .wikiedit-page-list-wrapper fieldset { |
| 75 | padding: 0.25em; |
| 76 | } |
| 77 | body.wikiedit .wikiedit-page-list-wrapper fieldset > :not(legend) { |
| 78 | /* Stretch page selection list when it's empty or only has short page names */ |
| 79 | width: 100%; |
| 80 | } |
| 81 | body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper { |
| 82 | /* Container for the filter and edit status fieldsets */ |
| 83 | display: flex; |
| 84 | flex-direction: row; |
| 85 |