本文整理匯總了TypeScript中@jupyterlab/coreutils.ISettingRegistry.set方法的典型用法代碼示例。如果您正苦於以下問題:TypeScript ISettingRegistry.set方法的具體用法?TypeScript ISettingRegistry.set怎麽用?TypeScript ISettingRegistry.set使用的例子?那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類@jupyterlab/coreutils.ISettingRegistry
的用法示例。
在下文中一共展示了ISettingRegistry.set方法的7個代碼示例,這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚,您的評價將有助於係統推薦出更棒的TypeScript代碼示例。
示例1:
execute: () => {
const first = settingRegistry.set(shortcutPlugin, CommandIDs.linebreak, {
command: CommandIDs.linebreak,
keys: ['Enter'],
selector
});
const second = settingRegistry.remove(shortcutPlugin, CommandIDs.runUnforced);
const third = settingRegistry.set(shortcutPlugin, CommandIDs.runForced, {
command: CommandIDs.runForced,
keys: ['Shift Enter'],
selector
});
return Promise.all([first, second, third]);
}
示例2:
execute: () => {
config.autoClosingBrackets = !config.autoClosingBrackets;
return settingRegistry.set(id, 'editorConfig', config)
.catch((reason: Error) => {
console.error(`Failed to set ${id}: ${reason.message}`);
});
},
示例3:
execute: args => {
return settingRegistry
.set(plugin.id, 'saveState', !SETTINGS.saveState)
.catch((reason: Error) => {
console.error(`Failed to set ${plugin.id}: ${reason.message}`);
});
},
示例4:
execute: () => {
matchBrackets = !matchBrackets;
tracker.forEach(widget => {
widget.editor.setOption('matchBrackets', matchBrackets);
});
return settingRegistry.set(id, 'matchBrackets', matchBrackets);
},
示例5:
execute: args => {
const theme = args['theme'] as Terminal.ITheme;
return settingRegistry
.set(plugin.id, 'theme', theme)
.then(() => commands.notifyCommandChanged(CommandIDs.setTheme))
.catch(showErrorMessage);
}
示例6:
execute: () => {
const value = !docManager.autosave;
const key = 'autosave';
return settingRegistry.set(pluginId, key, value)
.catch((reason: Error) => {
console.error(`Failed to set ${pluginId}:${key} - ${reason.message}`);
});
}
示例7:
execute: () => {
let { fontSize } = Terminal.defaultOptions;
if (fontSize > 9) {
return settingRegistry
.set(plugin.id, 'fontSize', fontSize - 1)
.catch(showErrorMessage);
}
}