Skip to content

Commit

Permalink
racket-expand-hiding: Add defcustom types for rules
Browse files Browse the repository at this point in the history
  • Loading branch information
greghendershott committed Jan 26, 2024
1 parent be2dce3 commit c47d8b2
Showing 1 changed file with 26 additions and 2 deletions.
28 changes: 26 additions & 2 deletions racket-custom.el
Original file line number Diff line number Diff line change
Expand Up @@ -582,8 +582,32 @@ ignore POS. Examples: `racket-show-echo-area' and
(boolean :tag "Hide library syntax")
(boolean :tag "Hide contracts")
(boolean :tag "Hide phase>0")
(repeat :tag "More rules (see macro-debugger/model/hiding-policies \"Entry\" and \"Condition\")"
sexp)))
(repeat
:tag "More rules (see macro-debugger/model/hiding-policies \"Entry\" and \"Condition\")"
(list (choice (const :tag "show-if" show-if)
(const :tag "hide-if" hide-if))
(choice (const :tag "lexical" '(lexical))
(const :tag "unbound" '(unbound))
(const :tag "from-kernel-module" '(from-kerel-module))
(list :tag "from-def-module"
(const from-def-module)
(choice :tag "module path" string symbol))
(list :tag "from-nom-module"
(const from-nom-module)
(choice :tag "module path" string symbol))
(list :tag "from-collection"
(const from-collection)
(repeat :tag "collection-string" string))
(list :tag "symbol=?"
(const symbol=?)
(symbol))
(list :tag "symbol-like"
(const symbol-like)
(string :tag "racket regexp"))
(list :tag "phase>=?"
(const phase>=?)
(natnum :tag "natural number"))
(sexp :tag "sexp"))))))
:group 'racket-other)

;;; Faces
Expand Down

0 comments on commit c47d8b2

Please sign in to comment.