diff --git a/.idea/codeStyles/Project.xml b/.idea/codeStyles/Project.xml
index 664f8f1a7..cbf929386 100644
--- a/.idea/codeStyles/Project.xml
+++ b/.idea/codeStyles/Project.xml
@@ -6,5 +6,8 @@
+
+
+
\ No newline at end of file
diff --git a/src/public/javascripts/dialogs/options.js b/src/public/javascripts/dialogs/options.js
index d3599938b..68b62cb90 100644
--- a/src/public/javascripts/dialogs/options.js
+++ b/src/public/javascripts/dialogs/options.js
@@ -1,22 +1,10 @@
"use strict";
-import protectedSessionHolder from '../services/protected_session_holder.js';
import server from '../services/server.js';
-import infoService from "../services/info.js";
-import zoomService from "../services/zoom.js";
import utils from "../services/utils.js";
-import cssLoader from "../services/css_loader.js";
-import optionsInit from "../services/options_init.js";
-import libraryLoader from "../services/library_loader.js";
const $dialog = $("#options-dialog");
-const tabHandlers = [];
-
-function addTabHandler(handler) {
- tabHandlers.push(handler);
-}
-
export async function showDialog() {
utils.closeActiveDialog();
@@ -26,392 +14,19 @@ export async function showDialog() {
$dialog.modal();
- for (const handler of tabHandlers) {
- if (handler.optionsLoaded) {
- handler.optionsLoaded(options);
- }
- }
-}
-
-async function saveOptions(options) {
- await server.put('options', options);
-
- infoService.showMessage("Options change have been saved.");
-}
-
-addTabHandler((function() {
- const $themeSelect = $("#theme-select");
- const $zoomFactorSelect = $("#zoom-factor-select");
- const $oneTabDisplaySelect = $("#one-tab-display-select");
- const $leftPaneMinWidth = $("#left-pane-min-width");
- const $leftPaneWidthPercent = $("#left-pane-width-percent");
- const $mainFontSize = $("#main-font-size");
- const $treeFontSize = $("#tree-font-size");
- const $detailFontSize = $("#detail-font-size");
- const $body = $("body");
- const $container = $("#container");
-
- async function optionsLoaded(options) {
- const themes = [
- { val: 'white', title: 'White' },
- { val: 'dark', title: 'Dark' },
- { val: 'black', title: 'Black' }
- ].concat(await server.get('options/user-themes'));
-
- $themeSelect.empty();
-
- for (const theme of themes) {
- $themeSelect.append($("