remove useless interfaces

panglesd · Jul 1, 2024 · eabcaf3 · eabcaf3
1 parent 6bbeeff
commit eabcaf3
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 23 deletions.
diff --git a/lib/HelpView.mli b/lib/HelpView.mli
@@ -1,15 +1,4 @@
 (** This module provides UI components and attributes for a help panel in a Nottui-based application. *)
-module W = Nottui_widgets
-(** Module alias for Nottui_widgets for easier access to widget creation functions. *)
-
-val header_color : Notty.attr
-(** [header_color] defines the Notty attribute for header texts in the help panel, characterized by a light red foreground and bold style. *)
-
-val action_color : Notty.attr
-(** [action_color] defines the Notty attribute for action items in the help panel, characterized by a green foreground. *)
-
-val info_color : Notty.attr
-(** [info_color] defines the Notty attribute for informational texts in the help panel, characterized by a yellow foreground. *)
 
 val help_visible : bool Lwd.var
 (** [help_visible] is a reactive variable indicating whether the help panel is currently visible. *)

diff --git a/lib/HunkView.mli b/lib/HunkView.mli
@@ -1,8 +1,5 @@
 (** This module provides functionalities for rendering different views of hunks within a patch in a diff viewer application using the Nottui library. It supports both unified and side-by-side display of changes. *)
 
-module W = Nottui_widgets
-(** Module alias for Nottui_widgets for easier access to widget creation functions. *)
-
 val ui_hunk_summary : Patch.hunk -> Nottui.ui
 (** [ui_hunk_summary hunk] creates a UI representation of the summary for a single hunk.
     It displays the start and length of changes in both 'mine' and 'their' versions of the text.

diff --git a/lib/InteractiveViewer.mli b/lib/InteractiveViewer.mli
@@ -1,8 +1,5 @@
 (** This module defines the main user interface and interaction logic for a diff viewer application using the Nottui library. It provides mechanisms to navigate through patches and view them in different formats, respond to user inputs, and run test simulations. *)
 
-module W = Nottui_widgets
-(** Module alias for Nottui_widgets for easier access to widget creation functions. *)
-
 val view : Patch.t list -> Nottui.ui Lwd.t
 (** [view patches] constructs a reactive UI for navigating and viewing a list of patches.
     It supports toggling between help view and normal view, and handling navigation commands.

diff --git a/lib/OperationView.mli b/lib/OperationView.mli
@@ -1,8 +1,5 @@
 (** This module defines UI components for displaying information about operations in a diff viewer using the Nottui library. These components visualize different types of patch operations like creation, deletion, and edits. *)
 
-module W = Nottui_widgets
-(** Module alias for Nottui_widgets for easier access to widget creation functions. *)
-
 val operation_info : Patch.t Zipper.t Lwd.var -> Nottui.ui Lwd.t
 (** [operation_info z_patches] creates a reactive UI element that displays information about the current operation in a zipper of patches.
     It shows the current operation index, the total number of operations, and the number of hunks in the current patch.

diff --git a/lib/PatchNavigation.mli b/lib/PatchNavigation.mli
@@ -1,8 +1,5 @@
 (** This module defines navigation and summary functions for viewing changes in a diff viewer application using the Nottui library. It provides utilities to navigate between patches, calculate additions and removals, and display summaries of these changes. *)
 
-module W = Nottui_widgets
-(** Module alias for Nottui_widgets for easier access to widget creation functions. *)
-
 type direction = Prev | Next
 (** Type representing navigation directions within a list of patches. 
     - [Prev] indicates navigation to the previous item.