mirror/php-web-maker
1
0
Fork 0
mirror of https://github.com/chinchang/web-maker.git synced 2025-07-13 18:16:19 +02:00
Code Issues Releases Wiki Activity

Add option to enable/disable blur overlay

Browse Source
This commit is contained in:
Andrew Luca
2017-07-27 00:23:45 +03:00
parent 013e5d40f6
commit 230033cb10
3 changed files with 12 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

9
src/script.js
View File

@ -1588,6 +1588,11 @@ customEditorFontInput
$('[data-setting=editorCustomFont]').value = prefs.editorCustomFont;
$('[data-setting=autoSave]').checked = prefs.autoSave;
$('[data-setting=autoComplete]').checked = prefs.autoComplete;
$('[data-setting=useBlur]').checked = prefs.useBlur;
if (prefs.useBlur) {
document.body.classList.add('blur');
}
}
/**
@ -2154,7 +2159,8 @@ customEditorFontInput
editorFont: 'FiraCode',
editorCustomFont: '',
autoSave: true,
autoComplete: true
autoComplete: true,
useBlur: true
},
function syncGetCallback(result) {
if (result.preserveLastCode && lastCode) {
@ -2190,6 +2196,7 @@ customEditorFontInput
prefs.editorCustomFont = result.editorCustomFont;
prefs.autoSave = result.autoSave;
prefs.autoComplete = result.autoComplete;
prefs.useBlur = result.useBlur;
updateSettingsInUi();
scope.updateSetting();