add options for highlighting first line in reader, controlling reader update rate

options.js

@@ -408,7 +408,13 @@ function defaults()
         id: "reader_fg",
         kind: "color",
         default: "#CCCCCC",
-        label: "Reader text color"
+        label: "Reader new text color"
+    });
+    settings.push({
+        id: "reader_fg_old",
+        kind: "color",
+        default: "#B0B0B0",
+        label: "Reader old text color"
     });
     settings.push({
         id: "reader_font_size",
@@ -440,6 +446,15 @@ function defaults()
         default: "",
         label: "Reader font override (without trailing comma)"
     });
+    settings.push({
+        id: "reader_throttle",
+        kind: "number",
+        min: 5,
+        max: 1000,
+        step: 5,
+        default: 200,
+        label: "Reader clipboard access interval"
+    });
     
     // hotkeys
     settings.push({

reader.html

@@ -8,7 +8,7 @@
 body
 {
     background-color: #111;
-    color: #CCC;
+    color: #E0E0E0;
     font-family: Verdana, Arial, IPAGothic, Noto Sans CJK JP Regular, TakaoGothic, Meiryo, sans-serif;
     font-size: 1.4em;
 }
@@ -22,6 +22,12 @@ p
     margin-bottom: 5px;
 }
 </style>
+<style id=new_color_style>
+body > p:nth-of-type(1)
+{
+    color: #CCCCCC;
+}
+</style>
 <script src="include/browser-polyfill.min.js" charset="UTF-8"></script>
 <script src="reader.js" charset="UTF-8"></script>
 <script src="texthook.js" charset="UTF-8"></script>

reader.js

@@ -9,25 +9,32 @@ reader_reverse: false,
 reader_leeway: 200,
 reader_bg: "#111111",
 reader_fg: "#CCCCCC",
+reader_fg_old: "#B0B0B0",
 reader_font_size: "1.4em",
 reader_right_padding: "0px",
 reader_max_width: "1000px",
 reader_margin: "8px",
 reader_font: "",
-reader_auto: false
+reader_auto: false,
+reader_throttle: 200
 };
 
 function update_styles()
 {
     let target = document.body.style;
     target.backgroundColor = reader_settings.reader_bg;
-    target.color = reader_settings.reader_fg;
+    target.color = reader_settings.reader_fg_old;
     target.fontSize = reader_settings.reader_font_size;
     target.paddingRight = reader_settings.reader_right_padding;
     target.maxWidth = reader_settings.reader_max_width;
     target.marginLeft = reader_settings.reader_margin;
     target.marginRight = reader_settings.reader_margin;
     target.fontFamily = reader_settings.reader_font;
+    let target2 = document.querySelector("#new_color_style");
+    target2.cssText = `body > p:nth-of-type(1)
+{
+    color: ${reader_settings.reader_fg};
+}`;
 }
 
 async function reader_settings_init()
@@ -45,12 +52,14 @@ async function reader_settings_init()
         getvar("reader_leeway", 200);
         getvar("reader_bg", "#111111");
         getvar("reader_fg", "#CCCCCC");
+        getvar("reader_fg_old", "#B0B0B0");
         getvar("reader_font_size","1.4em");
         getvar("reader_right_padding", "0px");
         getvar("reader_max_width", "1000px");
         getvar("reader_margin", "8px");
         getvar("reader_font", "");
         getvar("reader_auto", false);
+        getvar("reader_throttle", 200);
     } catch(err) {} // options not stored yet
 }
 
@@ -142,7 +151,6 @@ function reader_gimmetext()
     browser.runtime.sendMessage({type:"gimmetext"});
 }
 
-let interval = 250;
 async function reader_checkpaste()
 {
     try
@@ -152,9 +160,9 @@ async function reader_checkpaste()
     }
     catch(error){}
     
-    setTimeout(reader_checkpaste, interval);
+    setTimeout(reader_checkpaste, reader_settings.reader_throttle);
 }
-setTimeout(reader_checkpaste, interval);
+setTimeout(reader_checkpaste, reader_settings.reader_throttle);
 
 browser.runtime.onMessage.addListener((req, sender) =>
 {