added: option to show title by default
changed: title style
This commit is contained in:
parent
3298cded32
commit
fdd5a8e41b
2 changed files with 10 additions and 2 deletions
8
main.js
8
main.js
|
|
@ -14,7 +14,8 @@ var defaultsettings =
|
|||
enablefolding: false,
|
||||
tagautocomplete: false,
|
||||
titleinaccentcolor: false,
|
||||
enablenetwork: false
|
||||
enablenetwork: false,
|
||||
titlebydefault: false
|
||||
};
|
||||
|
||||
//builtin
|
||||
|
|
@ -1112,6 +1113,11 @@ function loadsettings()
|
|||
{
|
||||
commands = commands.filter(c => !c.hint.toLowerCase().includes("fold"));
|
||||
}
|
||||
|
||||
if (settings.titlebydefault)
|
||||
{
|
||||
toggletitle();
|
||||
}
|
||||
}
|
||||
|
||||
function checksaved()
|
||||
|
|
|
|||
|
|
@ -70,9 +70,11 @@ body::-webkit-scrollbar-thumb {
|
|||
|
||||
#title {
|
||||
width: 100%;
|
||||
padding-top: 10px;
|
||||
font-size: 20px;
|
||||
background-color: inherit;
|
||||
height: 100%;
|
||||
font-weight: bold;
|
||||
|
||||
}
|
||||
|
||||
/* search file dialog */
|
||||
|
|
|
|||
Loading…
Reference in a new issue