From 53b6f2222c314ffd9ba2b0d2b82b7487a02c4ff2 Mon Sep 17 00:00:00 2001 From: glwnd Date: Fri, 13 Dec 2024 22:29:44 +0100 Subject: [PATCH] webui: fix autoscroll - fix wobbly scrolling on textarea update - extract logging to method --- pyglossary/ui/ui_web/index.html | 118 +++++++++++++++----------------- 1 file changed, 55 insertions(+), 63 deletions(-) diff --git a/pyglossary/ui/ui_web/index.html b/pyglossary/ui/ui_web/index.html index 168f8c2c3..e4e8c3343 100644 --- a/pyglossary/ui/ui_web/index.html +++ b/pyglossary/ui/ui_web/index.html @@ -98,14 +98,17 @@ height: auto; font-family: 'Fira Mono', 'Jetbrains Mono', monospace; } + #btnConvert { font-size: 2em; height: 2em; } + pre { - font-size:7px; + font-size: 7px; font-family: 'Fira Mono', 'Jetbrains Mono', Consolas, Monaco, Lucida Console, monospace; } + article>textarea { font-family: 'Fira Mono', 'Jetbrains Mono', Consolas, Monaco, Lucida Console, monospace; font-size: smaller; @@ -125,10 +128,9 @@

- - - + + + PyGlossary

@@ -136,7 +138,9 @@

@@ -254,48 +255,42 @@
-

Conversion Options

-

- Please enter valid JSON for custom conversion options.

-

Example config (See available options in plugins options reference):

-
-
- + Click for an example -

+

Conversion Options

+

+ Please enter valid JSON for custom conversion options.

+

Example config (See available options in plugins + options reference):

+
+
+ + Click for an example +

{
  "convertOptions": {
-  "sort": true,
   "sortKeyName": "headword_lower:es_ES",
   "sortEncoding": "utf-8",
-  "sqlite": true
  },
  "readOptions": {
   "encoding": "utf-8",
-  "audio": true,
-  "example_color": "blue",
-  "abbrev": "hover"
+  "example_color": "blue"
  },
  "writeOptions": {
-  "compression": "zlib",
-  "content_type": "text/html; charset=utf-8",
-  "separate_alternates": true,
-  "word_title": true,
-  "version_info": false
+  "resources": false
  }
 }
-

-
-
- - -
- - -
+

+
+
+ + +
+ + +
-
+