From 748e26b2650a3bedd52a0c2d9392d62ac52ff61c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 10 Nov 2023 16:07:31 +0100
Subject: [PATCH] [dome/richtext] force default options
---
ivette/src/dome/renderer/text/richtext.tsx | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/ivette/src/dome/renderer/text/richtext.tsx b/ivette/src/dome/renderer/text/richtext.tsx
index 936ea7ad45a..7c55f99c6ab 100644
--- a/ivette/src/dome/renderer/text/richtext.tsx
+++ b/ivette/src/dome/renderer/text/richtext.tsx
@@ -330,13 +330,13 @@ class Option extends Extension {
private readonly spec: CS.Extension;
private readonly comp = new CS.Compartment();
- constructor(extension: CS.Extension, active=true) {
+ constructor(extension: CS.Extension) {
super();
this.spec = extension;
- this.pack(this.comp.of(active ? extension : []));
+ this.pack(this.comp.of([]));
}
- dispatch(view: View, active?: boolean): void {
+ dispatch(view: View, active: boolean): void {
if (view !== null && active !== undefined) {
const effects = this.comp.reconfigure(active ? this.spec : []);
view.dispatch({ effects });
@@ -868,8 +868,8 @@ export function TextView(props: TextViewProps) : JSX.Element {
onViewport: onReview = null,
onSelection: onSelect = null,
onDoubleClick: onDouble = null,
- lineNumbers: lines,
- showCurrentLine: active,
+ lineNumbers: lines = false,
+ showCurrentLine: active = false,
} = props;
React.useEffect(() => OnClick.dispatch(view, onClick), [view, onClick]);
React.useEffect(() => OnPopup.dispatch(view, onPopup), [view, onPopup]);
--
GitLab