本文整理汇总了TypeScript中@jupyterlab/apputils.IStateDB.fetch方法的典型用法代码示例。如果您正苦于以下问题:TypeScript IStateDB.fetch方法的具体用法?TypeScript IStateDB.fetch怎么用?TypeScript IStateDB.fetch使用的例子?那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类@jupyterlab/apputils.IStateDB
的用法示例。
在下文中一共展示了IStateDB.fetch方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的TypeScript代码示例。
示例1: activateCellTools
/**
* Activate the cell tools extension.
*/
function activateCellTools(app: JupyterLab, tracker: INotebookTracker, editorServices: IEditorServices, state: IStateDB): Promise<ICellTools> {
const id = 'cell-tools';
const celltools = new CellTools({ tracker });
const activeCellTool = new CellTools.ActiveCellTool();
const slideShow = CellTools.createSlideShowSelector();
const nbConvert = CellTools.createNBConvertSelector();
const editorFactory = editorServices.factoryService.newInlineEditor
.bind(editorServices.factoryService);
const metadataEditor = new CellTools.MetadataEditorTool({ editorFactory });
// Create message hook for triggers to save to the database.
const hook = (sender: any, message: Message): boolean => {
switch (message) {
case Widget.Msg.ActivateRequest:
state.save(id, { open: true });
break;
case Widget.Msg.AfterHide:
case Widget.Msg.CloseRequest:
state.remove(id);
break;
default:
break;
}
return true;
};
celltools.title.label = 'Cell Tools';
celltools.id = id;
celltools.addItem({ tool: activeCellTool, rank: 1 });
celltools.addItem({ tool: slideShow, rank: 2 });
celltools.addItem({ tool: nbConvert, rank: 3 });
celltools.addItem({ tool: metadataEditor, rank: 4 });
MessageLoop.installMessageHook(celltools, hook);
// Wait until the application has finished restoring before rendering.
Promise.all([state.fetch(id), app.restored]).then(([args]) => {
const open = (args && args['open'] as boolean) || false;
// After initial restoration, check if the cell tools should render.
if (tracker.size) {
app.shell.addToLeftArea(celltools);
if (open) {
app.shell.activateById(celltools.id);
}
}
// For all subsequent widget changes, check if the cell tools should render.
app.shell.currentChanged.connect((sender, args) => {
// If there are any open notebooks, add cell tools to the side panel if
// it is not already there.
if (tracker.size) {
if (!celltools.isAttached) {
app.shell.addToLeftArea(celltools);
}
return;
}
// If there are no notebooks, close cell tools.
celltools.close();
});
});
return Promise.resolve(celltools);
}
示例2: activate
/**
* Activate the editor tracker plugin.
*/
function activate(app: JupyterLab, registry: IDocumentRegistry, restorer: ILayoutRestorer, editorServices: IEditorServices, state: IStateDB, launcher: ILauncher | null): IEditorTracker {
const factory = new FileEditorFactory({
editorServices,
factoryOptions: {
name: FACTORY,
fileExtensions: ['*'],
defaultFor: ['*']
}
});
const { commands, shell } = app;
const id = 'editor:settings';
const tracker = new InstanceTracker<FileEditor>({
namespace: 'editor',
shell
});
let lineNumbers = true;
let wordWrap = true;
// Handle state restoration.
restorer.restore(tracker, {
command: 'file-operations:open',
args: widget => ({ path: widget.context.path, factory: FACTORY }),
name: widget => widget.context.path
});
// Fetch the initial state of the settings.
state.fetch(id).then(settings => {
if (!settings) {
return;
}
if (typeof settings['wordWrap'] === 'string') {
commands.execute(CommandIDs.wordWrap, settings);
}
if (typeof settings['lineNumbers'] === 'string') {
commands.execute(CommandIDs.lineNumbers, settings);
}
});
/**
* Save the editor widget settings state.
*/
function saveState(): Promise<void> {
return state.save(id, { lineNumbers, wordWrap });
}
factory.widgetCreated.connect((sender, widget) => {
widget.title.icon = EDITOR_ICON_CLASS;
// Notify the instance tracker if restore data needs to update.
widget.context.pathChanged.connect(() => { tracker.save(widget); });
tracker.add(widget);
widget.editor.lineNumbers = lineNumbers;
widget.editor.wordWrap = wordWrap;
});
registry.addWidgetFactory(factory);
/**
* Handle the settings of new widgets.
*/
tracker.widgetAdded.connect((sender, widget) => {
let editor = widget.editor;
editor.lineNumbers = lineNumbers;
editor.wordWrap = wordWrap;
});
/**
* Toggle editor line numbers
*/
function toggleLineNums(args: JSONObject): Promise<void> {
lineNumbers = !lineNumbers;
tracker.forEach(widget => {
widget.editor.lineNumbers = lineNumbers;
});
return saveState();
}
/**
* Toggle editor line wrap
*/
function toggleLineWrap(args: JSONObject): Promise<void> {
wordWrap = !wordWrap;
tracker.forEach(widget => {
widget.editor.wordWrap = wordWrap;
});
return saveState();
}
/**
* A test for whether the tracker has an active widget.
*/
function hasWidget(): boolean {
return tracker.currentWidget !== null;
}
commands.addCommand(CommandIDs.lineNumbers, {
execute: toggleLineNums,
isEnabled: hasWidget,
//.........这里部分代码省略.........
示例3: activateEditorCommands
/**
* Set up the editor widget menu and commands.
*/
function activateEditorCommands(app: JupyterLab, tracker: IEditorTracker, mainMenu: IMainMenu, palette: ICommandPalette, state: IStateDB): void {
let { commands } = app;
let theme: string = CodeMirrorEditor.DEFAULT_THEME;
let keyMap: string = 'default';
let matchBrackets = false;
let id = 'codemirror:settings';
// Fetch the initial state of the settings.
state.fetch(id).then(settings => {
if (!settings) {
return;
}
if (typeof settings['theme'] === 'string') {
commands.execute(CommandIDs.changeTheme, settings);
}
if (typeof settings['keyMap'] === 'string') {
commands.execute(CommandIDs.changeKeyMap, settings);
}
if (typeof settings['matchBrackets'] === 'boolean') {
if (settings['matchBrackets'] !== matchBrackets) {
commands.execute(CommandIDs.matchBrackets);
}
}
});
/**
* Save the codemirror settings state.
*/
function saveState(): Promise<void> {
return state.save(id, { theme, keyMap, matchBrackets });
}
/**
* Handle the settings of new widgets.
*/
tracker.widgetAdded.connect((sender, widget) => {
if (widget.editor instanceof CodeMirrorEditor) {
let cm = widget.editor.editor;
cm.setOption('keyMap', keyMap);
cm.setOption('theme', theme);
cm.setOption('matchBrackets', matchBrackets);
}
});
/**
* A test for whether the tracker has an active widget.
*/
function hasWidget(): boolean {
return tracker.currentWidget !== null;
}
/**
* Toggle editor matching brackets
*/
function toggleMatchBrackets(): Promise<void> {
matchBrackets = !matchBrackets;
tracker.forEach(widget => {
let editor = widget.editor;
if (editor instanceof CodeMirrorEditor) {
let cm = editor.editor;
cm.setOption('matchBrackets', matchBrackets);
}
});
return saveState();
}
/**
* Create a menu for the editor.
*/
function createMenu(): Menu {
let menu = new Menu({ commands });
let themeMenu = new Menu({ commands });
let keyMapMenu = new Menu({ commands });
menu.title.label = 'Editor';
themeMenu.title.label = 'Theme';
keyMapMenu.title.label = 'Key Map';
commands.addCommand(CommandIDs.changeTheme, {
label: args => args['theme'] as string,
execute: args => {
theme = args['theme'] as string || CodeMirrorEditor.DEFAULT_THEME;
tracker.forEach(widget => {
if (widget.editor instanceof CodeMirrorEditor) {
let cm = widget.editor.editor;
cm.setOption('theme', theme);
}
});
return saveState();
},
isEnabled: hasWidget,
isToggled: args => { return args['theme'] === theme; }
});
commands.addCommand(CommandIDs.changeKeyMap, {
label: args => {
//.........这里部分代码省略.........