(specifier-instance default-gutter-visible-p)
"Whether the default gutter is globally visible. This option can be
customized through the options menu."
- :group 'display
+ :group 'gutter
:type 'boolean
:set #'(lambda (var val)
(set-specifier default-gutter-visible-p val)
(default-gutter-position)
"The location of the default gutter. It can be 'top, 'bottom, 'left or
'right. This option can be customized through the options menu."
- :group 'display
- :type '(choice (const :tag "top" 'top)
- (const :tag "bottom" 'bottom)
- (const :tag "left" 'left)
- (const :tag "right" 'right))
+ :group 'gutter
+ :type '(choice (const :tag "top" top)
+ (const :tag "bottom" bottom)
+ (const :tag "left" left)
+ (const :tag "right" right))
:set #'(lambda (var val)
(set-default-gutter-position val)
(setq default-gutter-position val)
(make-glyph
(vector 'progress-gauge
:pixel-height (- progress-glyph-height 8)
- :pixel-width 50
+ :pixel-width 250
:descriptor "Progress")))
(defvar progress-text-glyph