本文整理汇总了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);
}
}