Unhide option

eraserhd · eraserhd · commit da924ca43c1a · 2026-01-04T12:13:10.000-05:00
diff --git a/rc/rep.kak b/rc/rep.kak
@@ -1,6 +1,6 @@
 declare-option -hidden str rep_evaluate_output
 declare-option -hidden str rep_namespace
-declare-option -hidden str rep_extra_options
+declare-option str rep_extra_options
 
 define-command -hidden rep-find-namespace %{
     evaluate-commands -draft %{
