Fossil SCM

Corrected sandbox page always getting tagged as 'new' in the page header and title.

stephan 2020-07-31 04:46 ajax-wiki-editor
Commit c3c9a14365f17878936cdd1ddfded2b76f1a9b8fd50b54a2a455a301b5d89381
1 file changed +5 -4
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -794,14 +794,15 @@
794794
if(!f.titleElement){
795795
f.titleElement = document.head.querySelector('title');
796796
f.pageTitleHeader = document.querySelector('div.header .title');
797797
}
798798
var title = ['Wiki Editor:'];
799
- if(P.winfo){
800
- if(!P.winfo.version) title.push(P.config.editStateMarkers.isNew);
801
- else if($stash.getWinfo(P.winfo)) title.push(P.config.editStateMarkers.isModified)
802
- title.push(P.winfo.name);
799
+ const wi = P.winfo;
800
+ if(wi){
801
+ if(!wi.version && 'sandbox'!==wi.type) title.push(P.config.editStateMarkers.isNew);
802
+ else if($stash.getWinfo(wi)) title.push(P.config.editStateMarkers.isModified)
803
+ title.push(wi.name);
803804
}else{
804805
title.push('(no page loaded)');
805806
}
806807
title = title.join(' ');
807808
f.titleElement.innerText = title;
808809
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -794,14 +794,15 @@
794 if(!f.titleElement){
795 f.titleElement = document.head.querySelector('title');
796 f.pageTitleHeader = document.querySelector('div.header .title');
797 }
798 var title = ['Wiki Editor:'];
799 if(P.winfo){
800 if(!P.winfo.version) title.push(P.config.editStateMarkers.isNew);
801 else if($stash.getWinfo(P.winfo)) title.push(P.config.editStateMarkers.isModified)
802 title.push(P.winfo.name);
 
803 }else{
804 title.push('(no page loaded)');
805 }
806 title = title.join(' ');
807 f.titleElement.innerText = title;
808
--- src/fossil.page.wikiedit.js
+++ src/fossil.page.wikiedit.js
@@ -794,14 +794,15 @@
794 if(!f.titleElement){
795 f.titleElement = document.head.querySelector('title');
796 f.pageTitleHeader = document.querySelector('div.header .title');
797 }
798 var title = ['Wiki Editor:'];
799 const wi = P.winfo;
800 if(wi){
801 if(!wi.version && 'sandbox'!==wi.type) title.push(P.config.editStateMarkers.isNew);
802 else if($stash.getWinfo(wi)) title.push(P.config.editStateMarkers.isModified)
803 title.push(wi.name);
804 }else{
805 title.push('(no page loaded)');
806 }
807 title = title.join(' ');
808 f.titleElement.innerText = title;
809

Keyboard Shortcuts

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