From d85fbd5bd269a8336c23f9091d90769c2a428def Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Sat, 3 Jul 2021 22:34:43 +0200
Subject: [PATCH] [Gui] fix occurrences of warning 69
---
src/plugins/gui/filetree.ml | 4 ++--
src/plugins/gui/source_manager.ml | 2 --
src/plugins/gui/warning_manager.ml | 5 ++---
3 files changed, 4 insertions(+), 7 deletions(-)
diff --git a/src/plugins/gui/filetree.ml b/src/plugins/gui/filetree.ml
index 7dbc3973b98..4f7eaadff93 100644
--- a/src/plugins/gui/filetree.ml
+++ b/src/plugins/gui/filetree.ml
@@ -104,7 +104,7 @@ struct
type custom_tree =
{finfo: TREE.t;
mutable sons: custom_tree array;
- mutable parent: custom_tree option;
+ parent: custom_tree option;
fidx: int (* invariant: parent.(fidx)==myself *) }
let inbound i a = i>=0 && i<Array.length a
@@ -236,7 +236,7 @@ end
module MYTREE = struct
type storage = { mutable name : string;
- mutable globals: global array;
+ globals: global array;
mutable strikethrough: bool}
diff --git a/src/plugins/gui/source_manager.ml b/src/plugins/gui/source_manager.ml
index 7ceadddf529..d3d25091072 100644
--- a/src/plugins/gui/source_manager.ml
+++ b/src/plugins/gui/source_manager.ml
@@ -21,7 +21,6 @@
(**************************************************************************)
type tab = {
- tab_name : string ;
tab_file : Datatype.Filepath.t ;
tab_page : int ;
tab_select : line:int -> unit ;
@@ -184,7 +183,6 @@ let load_file w ?title ~(filename : Datatype.Filepath.t) ?(line=(-1)) ~click_cb
));
let tab = {
tab_file = filename ;
- tab_name = name ;
tab_select = select_line ;
tab_page = page_num ;
tab_source_view = original_source_view;
diff --git a/src/plugins/gui/warning_manager.ml b/src/plugins/gui/warning_manager.ml
index f9f95f0b838..4077c05da03 100644
--- a/src/plugins/gui/warning_manager.ml
+++ b/src/plugins/gui/warning_manager.ml
@@ -27,8 +27,7 @@ let scope = function
type row = Log.event
type t =
- { widget: (int*row) Wtable.columns;
- append : row -> unit;
+ { append : row -> unit;
clear : unit -> unit;}
module Data = Indexer.Make(
@@ -78,7 +77,7 @@ let make ~packing ~callback =
(fun (_,{evt_message=m}) -> [`TEXT m])
in
w#on_click (fun (_,w) c -> callback w c);
- {widget=w;append=append;clear=clear}
+ {append=append;clear=clear}
let append t message = t.append message
--
GitLab