diff options
-rw-r--r-- | generic/proof-menu.el | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 9b7271f5..4936d41d 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -316,7 +316,6 @@ without adjusting window layout." :selected proof-electric-terminator-enable :help "Automatically send commands as typed"] ["Fly Past Comments" proof-script-fly-past-comments-toggle - :visible (not proof-script-use-old-parser) :style toggle :selected proof-script-fly-past-comments :help "Coalesce and skip over successive comments"] |