Fossil SCM

Minor layout/style improvements.

stephan 2020-07-31 01:44 ajax-wiki-editor
Commit 31c5e1fd86b4445eb3ca0cd751749f606fc715298cfd83e15bd685190b28a5b9
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -360,12 +360,12 @@
360360
this.e.select = sel;
361361
D.addClass(parentElem, 'wikiedit-page-list-wrapper');
362362
D.clearElement(parentElem);
363363
D.append(
364364
parentElem,
365
- D.append(D.span(), "Select a page to edit:"),
366
- sel
365
+ D.append(D.fieldset("Select a page to edit"),
366
+ sel)
367367
);
368368
D.attr(sel, 'size', 15);
369369
D.option(D.disable(D.clearElement(sel)), "Loading...");
370370
371371
/** Set up filter checkboxes for the various types
@@ -399,13 +399,11 @@
399399
);
400400
D.append(fsFilterBody, span);
401401
});
402402
403403
/* A legend of the meanings of the symbols we use in
404
- the OPTION elements to denote certain state. Note that
405
- the symbols themselves are *actually* defined in CSS, so if
406
- they're changed there they also need to be changed here.*/
404
+ the OPTION elements to denote certain state. */
407405
const fsLegend = D.fieldset("Edit status"),
408406
fsLegendBody = D.div();
409407
D.append(fsLegend, fsLegendBody);
410408
D.addClass(fsLegendBody, 'flex-container', 'flex-column', 'stretch');
411409
D.append(
@@ -413,17 +411,15 @@
413411
D.append(D.span(), P.config.editStateMarkers.isModified,
414412
" = page has local edits"),
415413
D.append(D.span(), P.config.editStateMarkers.isNew,
416414
" = page is new/unsaved")
417415
);
418
-
419416
D.append(
420417
parentElem,
421418
D.append(D.addClass(D.div(), 'fieldset-wrapper'),
422419
fsFilter, fsLegend)
423420
);
424
-
425421
D.append(parentElem, btn);
426422
btn.addEventListener('click', ()=>this.loadList(), false);
427423
this.loadList();
428424
sel.addEventListener('change', (e)=>P.loadPage(e.target.value), false);
429425
F.page.addEventListener('wiki-stash-updated', ()=>this.refreshStashMarks(), false);
430426
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -360,12 +360,12 @@
360 this.e.select = sel;
361 D.addClass(parentElem, 'wikiedit-page-list-wrapper');
362 D.clearElement(parentElem);
363 D.append(
364 parentElem,
365 D.append(D.span(), "Select a page to edit:"),
366 sel
367 );
368 D.attr(sel, 'size', 15);
369 D.option(D.disable(D.clearElement(sel)), "Loading...");
370
371 /** Set up filter checkboxes for the various types
@@ -399,13 +399,11 @@
399 );
400 D.append(fsFilterBody, span);
401 });
402
403 /* A legend of the meanings of the symbols we use in
404 the OPTION elements to denote certain state. Note that
405 the symbols themselves are *actually* defined in CSS, so if
406 they're changed there they also need to be changed here.*/
407 const fsLegend = D.fieldset("Edit status"),
408 fsLegendBody = D.div();
409 D.append(fsLegend, fsLegendBody);
410 D.addClass(fsLegendBody, 'flex-container', 'flex-column', 'stretch');
411 D.append(
@@ -413,17 +411,15 @@
413 D.append(D.span(), P.config.editStateMarkers.isModified,
414 " = page has local edits"),
415 D.append(D.span(), P.config.editStateMarkers.isNew,
416 " = page is new/unsaved")
417 );
418
419 D.append(
420 parentElem,
421 D.append(D.addClass(D.div(), 'fieldset-wrapper'),
422 fsFilter, fsLegend)
423 );
424
425 D.append(parentElem, btn);
426 btn.addEventListener('click', ()=>this.loadList(), false);
427 this.loadList();
428 sel.addEventListener('change', (e)=>P.loadPage(e.target.value), false);
429 F.page.addEventListener('wiki-stash-updated', ()=>this.refreshStashMarks(), false);
430
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -360,12 +360,12 @@
360 this.e.select = sel;
361 D.addClass(parentElem, 'wikiedit-page-list-wrapper');
362 D.clearElement(parentElem);
363 D.append(
364 parentElem,
365 D.append(D.fieldset("Select a page to edit"),
366 sel)
367 );
368 D.attr(sel, 'size', 15);
369 D.option(D.disable(D.clearElement(sel)), "Loading...");
370
371 /** Set up filter checkboxes for the various types
@@ -399,13 +399,11 @@
399 );
400 D.append(fsFilterBody, span);
401 });
402
403 /* A legend of the meanings of the symbols we use in
404 the OPTION elements to denote certain state. */
 
 
405 const fsLegend = D.fieldset("Edit status"),
406 fsLegendBody = D.div();
407 D.append(fsLegend, fsLegendBody);
408 D.addClass(fsLegendBody, 'flex-container', 'flex-column', 'stretch');
409 D.append(
@@ -413,17 +411,15 @@
411 D.append(D.span(), P.config.editStateMarkers.isModified,
412 " = page has local edits"),
413 D.append(D.span(), P.config.editStateMarkers.isNew,
414 " = page is new/unsaved")
415 );
 
416 D.append(
417 parentElem,
418 D.append(D.addClass(D.div(), 'fieldset-wrapper'),
419 fsFilter, fsLegend)
420 );
 
421 D.append(parentElem, btn);
422 btn.addEventListener('click', ()=>this.loadList(), false);
423 this.loadList();
424 sel.addEventListener('change', (e)=>P.loadPage(e.target.value), false);
425 F.page.addEventListener('wiki-stash-updated', ()=>this.refreshStashMarks(), false);
426
--- src/style.wikiedit.css
+++ src/style.wikiedit.css
@@ -65,17 +65,21 @@
6565
content: "[+] ";
6666
}
6767
body.wikiedit textarea {
6868
max-width: calc(100% - 1em);
6969
}
70
-
7170
body.wikiedit .tabs .tab-panel {
71
+ /* Needed for wide diffs */
7272
overflow: auto;
73
+}
74
+body.wikiedit .wikiedit-page-list-wrapper fieldset {
75
+ padding: 0.25em;
7376
}
7477
body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper {
78
+ /* Container for the filter and edit status fieldsets */
7579
display: flex;
7680
flex-direction: row;
7781
flex-wrap: wrap;
7882
align-items: stretch;
7983
justify-content: stretch;
80
- margin: 0;
84
+ margin: 0 0 1em 0;
8185
}
8286
--- src/style.wikiedit.css
+++ src/style.wikiedit.css
@@ -65,17 +65,21 @@
65 content: "[+] ";
66 }
67 body.wikiedit textarea {
68 max-width: calc(100% - 1em);
69 }
70
71 body.wikiedit .tabs .tab-panel {
 
72 overflow: auto;
 
 
 
73 }
74 body.wikiedit .wikiedit-page-list-wrapper .fieldset-wrapper {
 
75 display: flex;
76 flex-direction: row;
77 flex-wrap: wrap;
78 align-items: stretch;
79 justify-content: stretch;
80 margin: 0;
81 }
82
--- src/style.wikiedit.css
+++ src/style.wikiedit.css
@@ -65,17 +65,21 @@
65 content: "[+] ";
66 }
67 body.wikiedit textarea {
68 max-width: calc(100% - 1em);
69 }
 
70 body.wikiedit .tabs .tab-panel {
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 flex-wrap: wrap;
82 align-items: stretch;
83 justify-content: stretch;
84 margin: 0 0 1em 0;
85 }
86

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button