jupyter-ra-extension 0.1.7__py3-none-any.whl → 1.2.100__py3-none-any.whl

jupyter_ra_extension-0.1.7.data/data/share/jupyter/labextensions/jupyter-ra-extension/static/lib_index_js.ab6b323625c1c2fe5008.js

@@ -1,152 +0,0 @@
-"use strict";
-(self["webpackChunkjupyter_ra_extension"] = self["webpackChunkjupyter_ra_extension"] || []).push([["lib_index_js"],{
-
-/***/ "./lib/index.js":
-/*!**********************!*\
-  !*** ./lib/index.js ***!
-  \**********************/
-/***/ ((__unused_webpack_module, __webpack_exports__, __webpack_require__) => {
-
-__webpack_require__.r(__webpack_exports__);
-/* harmony export */ __webpack_require__.d(__webpack_exports__, {
-/* harmony export */   "default": () => (__WEBPACK_DEFAULT_EXPORT__)
-/* harmony export */ });
-/* harmony import */ var _jupyterlab_notebook__WEBPACK_IMPORTED_MODULE_0__ = __webpack_require__(/*! @jupyterlab/notebook */ "webpack/sharing/consume/default/@jupyterlab/notebook");
-/* harmony import */ var _jupyterlab_notebook__WEBPACK_IMPORTED_MODULE_0___default = /*#__PURE__*/__webpack_require__.n(_jupyterlab_notebook__WEBPACK_IMPORTED_MODULE_0__);
-
-/**
- * Initialization data for the jupyter-ra-extension extension.
- */
-const plugin = {
-    id: 'jupyter-ra-extension:plugin',
-    description: 'Relational Algebra Symbols in Jupyter',
-    autoStart: true,
-    requires: [_jupyterlab_notebook__WEBPACK_IMPORTED_MODULE_0__.INotebookTracker],
-    activate: (app, tracker) => {
-        // send start message
-        console.log('JupyterLab extension jupyter-ra-extension is activated!');
-        // define helper functions
-        const insertText = (text) => {
-            const current = tracker.currentWidget;
-            const notebook = current.content;
-            const activeCell = notebook.activeCell;
-            activeCell.editor.replaceSelection(text);
-        };
-        // register commands
-        app.commands.addCommand('ratui:text1', {
-            label: 'RA:',
-            caption: 'Relationale Algebra',
-            isEnabled: () => false,
-            execute: () => { }
-        });
-        app.commands.addCommand('ratui:projection', {
-            label: 'π',
-            caption: 'Projektion:\nπ a, b (R)\nAlternativ: pi',
-            execute: () => insertText('π')
-        });
-        app.commands.addCommand('ratui:selection', {
-            label: 'σ',
-            caption: 'Selektion:\nσ a=1 (R)\nAlternativ: sigma',
-            execute: () => insertText('σ')
-        });
-        app.commands.addCommand('ratui:rename', {
-            label: 'β',
-            caption: 'Umbenennung:\nβ a←b (R)\nAlternativ: beta',
-            execute: () => insertText('β')
-        });
-        app.commands.addCommand('ratui:cross', {
-            label: '×',
-            caption: 'Kreuzprodukt:\nR × S',
-            execute: () => insertText('×')
-        });
-        app.commands.addCommand('ratui:join', {
-            label: '⋈',
-            caption: 'Natürlicher Verbund:\nR ⋈ S',
-            execute: () => insertText('⋈')
-        });
-        app.commands.addCommand('ratui:union', {
-            label: '∪',
-            caption: 'Vereinigung:\nR ∪ S',
-            execute: () => insertText('∪')
-        });
-        app.commands.addCommand('ratui:intersection', {
-            label: '∩',
-            caption: 'Schnitt:\nR ∩ S',
-            execute: () => insertText('∩')
-        });
-        app.commands.addCommand('ratui:difference', {
-            label: '\\',
-            caption: 'Differenz:\nR \\ S',
-            execute: () => insertText('\\')
-        });
-        app.commands.addCommand('ratui:text2', {
-            label: '|',
-            isEnabled: () => false,
-            execute: () => { }
-        });
-        app.commands.addCommand('ratui:arrowleft', {
-            label: '←',
-            caption: 'Alternativ: <-',
-            execute: () => insertText('←')
-        });
-        app.commands.addCommand('ratui:text3', {
-            label: '|',
-            isEnabled: () => false,
-            execute: () => { }
-        });
-        app.commands.addCommand('ratui:and', {
-            label: '∧',
-            caption: 'Alternativ: and',
-            execute: () => insertText('∧')
-        });
-        app.commands.addCommand('ratui:or', {
-            label: '∨',
-            caption: 'Alternativ: or',
-            execute: () => insertText('∨')
-        });
-        app.commands.addCommand('ratui:not', {
-            label: '¬',
-            caption: 'Alternativ: !',
-            execute: () => insertText('¬')
-        });
-        app.commands.addCommand('ratui:text4', {
-            label: '|',
-            isEnabled: () => false,
-            execute: () => { }
-        });
-        app.commands.addCommand('ratui:equal', {
-            label: '=',
-            execute: () => insertText('=')
-        });
-        app.commands.addCommand('ratui:unequal', {
-            label: '≠',
-            caption: 'Alternativ: !=',
-            execute: () => insertText('≠')
-        });
-        app.commands.addCommand('ratui:lt', {
-            label: '<',
-            execute: () => insertText('<')
-        });
-        app.commands.addCommand('ratui:lte', {
-            label: '≤',
-            caption: 'Alternativ: <=',
-            execute: () => insertText('≤')
-        });
-        app.commands.addCommand('ratui:gte', {
-            label: '≥',
-            caption: 'Alternativ: >=',
-            execute: () => insertText('≥')
-        });
-        app.commands.addCommand('ratui:gt', {
-            label: '>',
-            execute: () => insertText('>')
-        });
-    }
-};
-/* harmony default export */ const __WEBPACK_DEFAULT_EXPORT__ = (plugin);
-
-
-/***/ })
-
-}]);
-//# sourceMappingURL=lib_index_js.ab6b323625c1c2fe5008.js.map

jupyter_ra_extension-0.1.7.data/data/share/jupyter/labextensions/jupyter-ra-extension/static/lib_index_js.ab6b323625c1c2fe5008.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"lib_index_js.ab6b323625c1c2fe5008.js","mappings":";;;;;;;;;;;;;;;AAIwD;AAExD;;GAEG;AACH,MAAM,MAAM,GAAgC;IAC1C,EAAE,EAAE,6BAA6B;IACjC,WAAW,EAAE,uCAAuC;IACpD,SAAS,EAAE,IAAI;IACf,QAAQ,EAAE,CAAC,kEAAgB,CAAC;IAC5B,QAAQ,EAAE,CAAC,GAAoB,EAAE,OAAyB,EAAE,EAAE;QAC5D,qBAAqB;QACrB,OAAO,CAAC,GAAG,CAAC,yDAAyD,CAAC,CAAC;QAEvE,0BAA0B;QAC1B,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,EAAE;YAClC,MAAM,OAAO,GAAG,OAAO,CAAC,aAAa,CAAC;YACtC,MAAM,QAAQ,GAAG,OAAQ,CAAC,OAAO,CAAC;YAClC,MAAM,UAAU,GAAG,QAAQ,CAAC,UAAU,CAAC;YAEvC,UAAW,CAAC,MAAO,CAAC,gBAAiB,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC,CAAC;QAEF,oBAAoB;QACpB,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,KAAK;YACZ,OAAO,EAAE,qBAAqB;YAC9B,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;YACtB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;SAClB,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,kBAAkB,EAAE;YAC1C,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,yCAAyC;YAClD,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,iBAAiB,EAAE;YACzC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,0CAA0C;YACnD,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,cAAc,EAAE;YACtC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,2CAA2C;YACpD,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,sBAAsB;YAC/B,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,YAAY,EAAE;YACpC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,6BAA6B;YACtC,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,qBAAqB;YAC9B,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,oBAAoB,EAAE;YAC5C,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,iBAAiB;YAC1B,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,kBAAkB,EAAE;YAC1C,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,oBAAoB;YAC7B,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC;SAChC,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;YACtB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;SAClB,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,iBAAiB,EAAE;YACzC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;YACtB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;SAClB,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE;YACnC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,iBAAiB;YAC1B,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE;YAClC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE;YACnC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,eAAe;YACxB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,GAAG;YACV,SAAS,EAAE,GAAG,EAAE,CAAC,KAAK;YACtB,OAAO,EAAE,GAAG,EAAE,GAAE,CAAC;SAClB,CAAC,CAAC;QAEH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,aAAa,EAAE;YACrC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,eAAe,EAAE;YACvC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE;YAClC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE;YACnC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,WAAW,EAAE;YACnC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,gBAAgB;YACzB,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;QACH,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE;YAClC,KAAK,EAAE,GAAG;YACV,OAAO,EAAE,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;CACF,CAAC;AAEF,iEAAe,MAAM,EAAC","sources":["webpack://jupyter-ra-extension/./src/index.ts"],"sourcesContent":["import {\n  JupyterFrontEnd,\n  JupyterFrontEndPlugin\n} from '@jupyterlab/application';\nimport { INotebookTracker } from '@jupyterlab/notebook';\n\n/**\n * Initialization data for the jupyter-ra-extension extension.\n */\nconst plugin: JupyterFrontEndPlugin<void> = {\n  id: 'jupyter-ra-extension:plugin',\n  description: 'Relational Algebra Symbols in Jupyter',\n  autoStart: true,\n  requires: [INotebookTracker],\n  activate: (app: JupyterFrontEnd, tracker: INotebookTracker) => {\n    // send start message\n    console.log('JupyterLab extension jupyter-ra-extension is activated!');\n\n    // define helper functions\n    const insertText = (text: string) => {\n      const current = tracker.currentWidget;\n      const notebook = current!.content;\n      const activeCell = notebook.activeCell;\n\n      activeCell!.editor!.replaceSelection!(text);\n    };\n\n    // register commands\n    app.commands.addCommand('ratui:text1', {\n      label: 'RA:',\n      caption: 'Relationale Algebra',\n      isEnabled: () => false,\n      execute: () => {}\n    });\n\n    app.commands.addCommand('ratui:projection', {\n      label: 'π',\n      caption: 'Projektion:\\nπ a, b (R)\\nAlternativ: pi',\n      execute: () => insertText('π')\n    });\n    app.commands.addCommand('ratui:selection', {\n      label: 'σ',\n      caption: 'Selektion:\\nσ a=1 (R)\\nAlternativ: sigma',\n      execute: () => insertText('σ')\n    });\n    app.commands.addCommand('ratui:rename', {\n      label: 'β',\n      caption: 'Umbenennung:\\nβ a←b (R)\\nAlternativ: beta',\n      execute: () => insertText('β')\n    });\n    app.commands.addCommand('ratui:cross', {\n      label: '×',\n      caption: 'Kreuzprodukt:\\nR × S',\n      execute: () => insertText('×')\n    });\n    app.commands.addCommand('ratui:join', {\n      label: '⋈',\n      caption: 'Natürlicher Verbund:\\nR ⋈ S',\n      execute: () => insertText('⋈')\n    });\n    app.commands.addCommand('ratui:union', {\n      label: '∪',\n      caption: 'Vereinigung:\\nR ∪ S',\n      execute: () => insertText('∪')\n    });\n    app.commands.addCommand('ratui:intersection', {\n      label: '∩',\n      caption: 'Schnitt:\\nR ∩ S',\n      execute: () => insertText('∩')\n    });\n    app.commands.addCommand('ratui:difference', {\n      label: '\\\\',\n      caption: 'Differenz:\\nR \\\\ S',\n      execute: () => insertText('\\\\')\n    });\n\n    app.commands.addCommand('ratui:text2', {\n      label: '|',\n      isEnabled: () => false,\n      execute: () => {}\n    });\n\n    app.commands.addCommand('ratui:arrowleft', {\n      label: '←',\n      caption: 'Alternativ: <-',\n      execute: () => insertText('←')\n    });\n\n    app.commands.addCommand('ratui:text3', {\n      label: '|',\n      isEnabled: () => false,\n      execute: () => {}\n    });\n\n    app.commands.addCommand('ratui:and', {\n      label: '∧',\n      caption: 'Alternativ: and',\n      execute: () => insertText('∧')\n    });\n    app.commands.addCommand('ratui:or', {\n      label: '∨',\n      caption: 'Alternativ: or',\n      execute: () => insertText('∨')\n    });\n    app.commands.addCommand('ratui:not', {\n      label: '¬',\n      caption: 'Alternativ: !',\n      execute: () => insertText('¬')\n    });\n\n    app.commands.addCommand('ratui:text4', {\n      label: '|',\n      isEnabled: () => false,\n      execute: () => {}\n    });\n\n    app.commands.addCommand('ratui:equal', {\n      label: '=',\n      execute: () => insertText('=')\n    });\n    app.commands.addCommand('ratui:unequal', {\n      label: '≠',\n      caption: 'Alternativ: !=',\n      execute: () => insertText('≠')\n    });\n    app.commands.addCommand('ratui:lt', {\n      label: '<',\n      execute: () => insertText('<')\n    });\n    app.commands.addCommand('ratui:lte', {\n      label: '≤',\n      caption: 'Alternativ: <=',\n      execute: () => insertText('≤')\n    });\n    app.commands.addCommand('ratui:gte', {\n      label: '≥',\n      caption: 'Alternativ: >=',\n      execute: () => insertText('≥')\n    });\n    app.commands.addCommand('ratui:gt', {\n      label: '>',\n      execute: () => insertText('>')\n    });\n  }\n};\n\nexport default plugin;\n"],"names":[],"sourceRoot":""}