Skip to content

Commit 0a26342

Browse files
committed
Polishing UX for script deletion
1 parent 3b0e34e commit 0a26342

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

bin/UI.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ module Vars = struct
2323
arr,
2424
None)
2525
)
26-
| Scripts -> (
26+
| Scripts | Delete_script_confirm (_, _) -> (
2727
match Search_exp.parse script_name_specified with
2828
| None -> (
2929
(Dynarray.filter
@@ -624,7 +624,7 @@ module Top_pane = struct
624624
~selected
625625
usable_scripts
626626
)
627-
| Scripts -> (
627+
| Scripts | Delete_script_confirm (_, _) -> (
628628
let lines =
629629
try
630630
match file with

0 commit comments

Comments
 (0)