Skip to content

Commit

Permalink
Use correct configuration
Browse files Browse the repository at this point in the history
  • Loading branch information
voodoos committed Dec 6, 2024
1 parent 1ac292c commit 301b8b0
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/type_selection.ml
Original file line number Diff line number Diff line change
Expand Up @@ -113,7 +113,7 @@ let show_in_output_channel text_editor ~type_ range =
(match Settings.(get Options.outputChannelResults) with
| None | Some true -> OutputChannel.show output_channel ~preserveFocus:true ()
| Some false -> ());
(match Settings.(get Options.outputChannelResults) with
(match Settings.(get Options.alwaysClearOutputChannel) with
| Some true -> OutputChannel.replace output_channel ~value:header
| None | Some false -> OutputChannel.append output_channel ~value:header);
OutputChannel.appendLine output_channel ~value:type_;
Expand Down

0 comments on commit 301b8b0

Please sign in to comment.