From eabcaf3439127e21c7fecd2cc908e392eec70f6d Mon Sep 17 00:00:00 2001 From: You Guang Date: Mon, 1 Jul 2024 22:37:10 +0800 Subject: [PATCH] remove useless interfaces --- lib/HelpView.mli | 11 ----------- lib/HunkView.mli | 3 --- lib/InteractiveViewer.mli | 3 --- lib/OperationView.mli | 3 --- lib/PatchNavigation.mli | 3 --- 5 files changed, 23 deletions(-) diff --git a/lib/HelpView.mli b/lib/HelpView.mli index 83dbe8c..dfb5460 100644 --- 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 index 64f24a6..bc5e5a2 100644 --- 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 index c345a35..14fa5cf 100644 --- 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 index 93f73ea..7c00aad 100644 --- 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 index 4c37f1b..5c8520b 100644 --- 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.