diff --git a/CHANGES.md b/CHANGES.md index ebc66cd5..c0ac7e8e 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,11 @@ +# unreleased +----------- + + - new option `show_loc_info_on_hover` that will display parsing debug + information on hover; previous flag was fixed in code, which is way + less flexible. This also fixes the option being on in 0.1.8 by + mistake (@ejgallego, #588) + # coq-lsp 0.1.8: Trick-or-treat ------------------------------- diff --git a/controller/rq_hover.ml b/controller/rq_hover.ml index 6d600f91..fa085ea6 100644 --- a/controller/rq_hover.ml +++ b/controller/rq_hover.ml @@ -173,8 +173,6 @@ module type HoverProvider = sig end module Loc_info : HoverProvider = struct - let enabled = true - let h ~contents:_ ~point:_ ~node = match node with | None -> "no node here" @@ -183,7 +181,8 @@ module Loc_info : HoverProvider = struct Format.asprintf "%a" Lang.Range.pp range let h ~contents ~point ~node = - if enabled then Some (h ~contents ~point ~node) else None + if !Config.v.show_loc_info_on_hover then Some (h ~contents ~point ~node) + else None let h = Handler.MaybeNode h end diff --git a/editor/code/package.json b/editor/code/package.json index f66fddc1..4a4d61e9 100644 --- a/editor/code/package.json +++ b/editor/code/package.json @@ -150,11 +150,17 @@ "type": "number", "default": 150, "description": "Maximum number of errors per file, after that, coq-lsp will stop checking the file." - }, - "coq-lsp.show_stats_on_hover": { + } + } + }, + { + "title": "Hover", + "type": "object", + "properties": { + "coq-lsp.show_loc_info_on_hover": { "type": "boolean", "default": false, - "description": "Show timing and memory stats for a sentence on hover." + "description": "Show parsing information for a sentence on hover." } } }, diff --git a/editor/code/src/config.ts b/editor/code/src/config.ts index 64cf2180..73147263 100644 --- a/editor/code/src/config.ts +++ b/editor/code/src/config.ts @@ -12,6 +12,7 @@ export interface CoqLspServerConfig { max_errors: number; pp_type: 0 | 1 | 2; show_stats_on_hover: boolean; + show_loc_info_on_hover: boolean; } export namespace CoqLspServerConfig { @@ -31,6 +32,7 @@ export namespace CoqLspServerConfig { max_errors: wsConfig.max_errors, pp_type: wsConfig.pp_type, show_stats_on_hover: wsConfig.show_stats_on_hover, + show_loc_info_on_hover: wsConfig.show_loc_info_on_hover, }; } } diff --git a/fleche/config.ml b/fleche/config.ml index 73fffc6d..383f1f27 100644 --- a/fleche/config.ml +++ b/fleche/config.ml @@ -37,6 +37,8 @@ type t = (** Pretty-printing type in Info Panel Request, 0 = string; 1 = Pp.t; 2 = Coq Layout Engine *) ; show_stats_on_hover : bool [@default false] (** Show stats on hover *) + ; show_loc_info_on_hover : bool [@default false] + (** Show loc info on hover *) ; pp_json : bool [@default false] (** Whether to pretty print the protocol JSON on the wire *) ; send_perf_data : bool [@default true] @@ -62,6 +64,7 @@ let default = ; max_errors = 150 ; pp_type = 0 ; show_stats_on_hover = false + ; show_loc_info_on_hover = false ; verbosity = 2 ; pp_json = false ; send_perf_data = true