diff options
| -rw-r--r-- | isar/isabelle-system.el | 6 | ||||
| -rw-r--r-- | lib/unicode-tokens.el | 10 |
2 files changed, 8 insertions, 8 deletions
diff --git a/isar/isabelle-system.el b/isar/isabelle-system.el index 5e23e402..538d18e9 100644 --- a/isar/isabelle-system.el +++ b/isar/isabelle-system.el @@ -291,14 +291,12 @@ for you, you should disable this behaviour." (isabelle-choose-logic nil) :active (not (proof-shell-live-buffer)) :style radio - :selected (not isabelle-chosen-logic) - :help "Switch to default logic"]) + :selected (not isabelle-chosen-logic)]) (mapcar (lambda (l) (vector l (list 'isabelle-choose-logic l) :active '(not (proof-shell-live-buffer)) :style 'radio - :selected (list 'equal 'isabelle-chosen-logic l) - :help (format "Switch to %s logic" l))) + :selected (list 'equal 'isabelle-chosen-logic l))) isabelle-logics-available))))) (unless noninteractive diff --git a/lib/unicode-tokens.el b/lib/unicode-tokens.el index 4adca160..3394f7a7 100644 --- a/lib/unicode-tokens.el +++ b/lib/unicode-tokens.el @@ -775,7 +775,6 @@ Replaces contiguous text with 'utoks' property with property value." 'unicode-tokens-rotate-glyph-backward) (define-key unicode-tokens-mode-map [(control ?.)] 'unicode-tokens-rotate-glyph-forward) - ;; otherwise action on space like in X-Symbol? ) ;; @@ -789,12 +788,15 @@ Replaces contiguous text with 'utoks' property with property value." (lambda (fmt) (vector fmt (unicode-tokens-annotate-region-with (downcase fmt)) - :help (concat "Format region as " (downcase fmt)) - :active 'mark-active)) ; XE? region-exists-p + ;; :help is GNU Emacss only + ;; :help (concat "Format region as " (downcase fmt)) + :active 'region-exists-p)) '("Subscript" "Superscript" "Supscript1" "Superscript1" "Idsubscript1" "Idsuperscript1" - "Bold" "Italic" "Script" "Fraktur" "Serif")))) + ;; don't encourage these as saving seems unreliable + ;; "Bold" "Italic" "Script" "Fraktur" "Serif" + )))) (provide 'unicode-tokens) |