Merge branch 'feature/ivette/scrollback-prefs' into 'master'

Feature/ivette/scrollback prefs

See merge request frama-c/frama-c!3596

ivette/src/frama-c/server.ts

@@ -133,7 +133,7 @@ let killingTimer: NodeJS.Timeout | undefined;
 // --------------------------------------------------------------------------
 
 /** The server console buffer. */
-export const buffer = new RichTextBuffer({ maxlines: 200 });
+export const buffer = new RichTextBuffer();
 
 // --------------------------------------------------------------------------
 // --- Server Status

ivette/src/ivette/prefs.tsx

@@ -93,3 +93,14 @@ export const EditorCommand =
   new Settings.GString('Editor.Command', 'emacs +%n:%c %s');
 
 // --------------------------------------------------------------------------
+// --- Console Scrollback configuration
+// --------------------------------------------------------------------------
+
+export const ConsoleScrollback =
+  new Settings.GNumber('Console.Scrollback', 2000);
+
+export interface ConsoleScrollbackProps {
+  scrollback: Settings.GlobalSettings<number>;
+}
+
+// --------------------------------------------------------------------------

ivette/src/renderer/Controller.tsx

@@ -30,6 +30,7 @@ import React from 'react';
 import * as Dome from 'dome';
 import * as Json from 'dome/data/json';
 import * as Settings from 'dome/data/settings';
+import * as Preferences from 'ivette/prefs';
 
 import * as Toolbars from 'dome/frame/toolbars';
 import { IconButton } from 'dome/controls/buttons';
@@ -211,6 +212,11 @@ const RenderConsole = () => {
     return () => { editor.off('change', callback); };
   });
 
+  const [maxLines] = Settings.useGlobalSettings(Preferences.ConsoleScrollback);
+  React.useEffect(() => {
+    Server.buffer.setMaxlines(maxLines);
+  });
+
   const doReload = () => {
     const cfg = Server.getConfig();
     const hst = insertConfig(history, cfg);

ivette/src/renderer/Preferences.tsx

@@ -99,6 +99,17 @@ function EditorFields() {
   );
 }
 
+// --------------------------------------------------------------------------
+// --- Console Scrollback Forms
+// --------------------------------------------------------------------------
+function ConsoleScrollbackFields(props: IvettePrefs.ConsoleScrollbackProps) {
+  const scrollback = Forms.useDefined(Forms.useValid(
+    Settings.useGlobalSettings(props.scrollback),
+  ));
+  const title = 'Maximum number of lines in the console window';
+  return (<Forms.NumberField state={scrollback} label="Lines" title={title} />);
+}
+
 // --------------------------------------------------------------------------
 // --- Export Components
 // --------------------------------------------------------------------------
@@ -112,6 +123,9 @@ export default function Preferences() {
       <Forms.Section label="Editors" unfold>
         <EditorFields />
       </Forms.Section>
+      <Forms.Section label="Console Scrollback" unfold>
+        <ConsoleScrollbackFields scrollback={IvettePrefs.ConsoleScrollback} />
+      </Forms.Section>
     </Forms.Page>
   );
 }