1import * as React from "/opt/Oni/resources/app/node_modules/react"
 2import * as Oni from "/opt/Oni/resources/app/node_modules/oni-api"
 3
 4export const activate = (oni: Oni.Plugin.Api) => {
 5    console.log("config activated")
 6
 7    oni.input.bind("<c-enter>", () => console.log("Control+Enter was pressed"))
 8}
 9
10export const deactivate = (oni: Oni.Plugin.Api) => {
11    console.log("config deactivated")
12}
13
14export const configuration = {
15    "ui.colorscheme": "onedark",
16    "ui.fontFamily": "Fira Sans",
17    "ui.fontSize": "16px",
18    "tabs.mode": "buffer",
19    "tabs.enabled": true,
20    "recorder.copyScreenshotToClipboard": true,
21    "recorder.outputPath": "~/pics/scrots",
22    "language.python.languageServer.command": "pyls",
23    "oni.loadInitVim": true,
24    "oni.useDefaultConfig": true,
25    "oni.hideMenu": true,
26    "editor.fontSize": "20px",
27    "editor.fontFamily": "Operator Mono Book",
28    "editor.clipboard.enabled": true,
29    "oni.useExternalPopupMenu": true,
30    "autoClosingPairs.enabled": true,
31    // UI customizations
32    "ui.animations.enabled": true,
33    "ui.fontSmoothing": "auto",
34}