Fossil SCM

Merged inadvertent fork.

stephan 2020-08-10 13:43 trunk merge
Commit 1eb21747ace6e50ee27a648c7d49a7e4af8e34564b5438d869da97956610c916
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -591,11 +591,12 @@
591591
lbl = D.attr(D.append(D.label(),
592592
getEditMarker(getEditMarker.DELETED,false),
593593
'deleted'),
594594
'for', cbId),
595595
cb = D.attr(D.input('checkbox'), 'id', cbId);
596
- cb.checked = true;
596
+ cb.checked = false;
597
+ D.addClass(parentElem,'hide-deleted');
597598
D.attr(lbl, 'title',
598599
'Fossil considers empty pages to be "deleted" in some contexts.');
599600
D.append(fsFilterBody, D.append(D.span(), cb, lbl));
600601
cb.addEventListener(
601602
'change',
602603
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -591,11 +591,12 @@
591 lbl = D.attr(D.append(D.label(),
592 getEditMarker(getEditMarker.DELETED,false),
593 'deleted'),
594 'for', cbId),
595 cb = D.attr(D.input('checkbox'), 'id', cbId);
596 cb.checked = true;
 
597 D.attr(lbl, 'title',
598 'Fossil considers empty pages to be "deleted" in some contexts.');
599 D.append(fsFilterBody, D.append(D.span(), cb, lbl));
600 cb.addEventListener(
601 'change',
602
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -591,11 +591,12 @@
591 lbl = D.attr(D.append(D.label(),
592 getEditMarker(getEditMarker.DELETED,false),
593 'deleted'),
594 'for', cbId),
595 cb = D.attr(D.input('checkbox'), 'id', cbId);
596 cb.checked = false;
597 D.addClass(parentElem,'hide-deleted');
598 D.attr(lbl, 'title',
599 'Fossil considers empty pages to be "deleted" in some contexts.');
600 D.append(fsFilterBody, D.append(D.span(), cb, lbl));
601 cb.addEventListener(
602 'change',
603
--- src/style.wikiedit.css
+++ src/style.wikiedit.css
@@ -66,11 +66,11 @@
6666
margin: 0 0 0.5em 0.55em;
6767
}
6868
body.wikiedit .WikiList select option.stashed,
6969
body.wikiedit .WikiList select option.stashed-new,
7070
body.wikiedit .WikiList select option.deleted {
71
- margin-left: -1em;
71
+ margin-left: -0.4em;
7272
}
7373
body.wikiedit .WikiList.hide-deleted select option.deleted {
7474
display: none;
7575
}
7676
body.wikiedit textarea {
7777
--- src/style.wikiedit.css
+++ src/style.wikiedit.css
@@ -66,11 +66,11 @@
66 margin: 0 0 0.5em 0.55em;
67 }
68 body.wikiedit .WikiList select option.stashed,
69 body.wikiedit .WikiList select option.stashed-new,
70 body.wikiedit .WikiList select option.deleted {
71 margin-left: -1em;
72 }
73 body.wikiedit .WikiList.hide-deleted select option.deleted {
74 display: none;
75 }
76 body.wikiedit textarea {
77
--- src/style.wikiedit.css
+++ src/style.wikiedit.css
@@ -66,11 +66,11 @@
66 margin: 0 0 0.5em 0.55em;
67 }
68 body.wikiedit .WikiList select option.stashed,
69 body.wikiedit .WikiList select option.stashed-new,
70 body.wikiedit .WikiList select option.deleted {
71 margin-left: -0.4em;
72 }
73 body.wikiedit .WikiList.hide-deleted select option.deleted {
74 display: none;
75 }
76 body.wikiedit textarea {
77

Keyboard Shortcuts

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