674 |
'(menu-item "Default" menu-bar-showhide-fringe-menu-customize-reset |
'(menu-item "Default" menu-bar-showhide-fringe-menu-customize-reset |
675 |
:help "Default width fringe on both left and right side" |
:help "Default width fringe on both left and right side" |
676 |
:visible (display-graphic-p) |
:visible (display-graphic-p) |
677 |
:button (:radio . (eq fringe-mode nil)))) |
:button (:radio . (or (not (boundp 'fringe-mode)) |
678 |
|
(eq fringe-mode nil))))) |
679 |
|
|
680 |
(defun menu-bar-showhide-fringe-menu-customize-left () |
(defun menu-bar-showhide-fringe-menu-customize-left () |
681 |
"Make fringes appear only on the left." |
"Make fringes appear only on the left." |
687 |
'(menu-item "On the Left" menu-bar-showhide-fringe-menu-customize-left |
'(menu-item "On the Left" menu-bar-showhide-fringe-menu-customize-left |
688 |
:help "Fringe only on the left side" |
:help "Fringe only on the left side" |
689 |
:visible (display-graphic-p) |
:visible (display-graphic-p) |
690 |
:button (:radio . (equal fringe-mode '(nil . 0))))) |
:button (:radio . (and (boundp 'fringe-mode) |
691 |
|
(equal fringe-mode '(nil . 0)))))) |
692 |
|
|
693 |
(defun menu-bar-showhide-fringe-menu-customize-right () |
(defun menu-bar-showhide-fringe-menu-customize-right () |
694 |
"Make fringes appear only on the right." |
"Make fringes appear only on the right." |
700 |
'(menu-item "On the Right" menu-bar-showhide-fringe-menu-customize-right |
'(menu-item "On the Right" menu-bar-showhide-fringe-menu-customize-right |
701 |
:help "Fringe only on the right side" |
:help "Fringe only on the right side" |
702 |
:visible (display-graphic-p) |
:visible (display-graphic-p) |
703 |
:button (:radio . (equal fringe-mode '(0 . nil))))) |
:button (:radio . (and (boundp 'fringe-mode) |
704 |
|
(equal fringe-mode '(0 . nil)))))) |
705 |
|
|
706 |
(defun menu-bar-showhide-fringe-menu-customize-disable () |
(defun menu-bar-showhide-fringe-menu-customize-disable () |
707 |
"Make fringes disappear." |
"Make fringes disappear." |
713 |
'(menu-item "None" menu-bar-showhide-fringe-menu-customize-disable |
'(menu-item "None" menu-bar-showhide-fringe-menu-customize-disable |
714 |
:help "Turn off fringe" |
:help "Turn off fringe" |
715 |
:visible (display-graphic-p) |
:visible (display-graphic-p) |
716 |
:button (:radio . (eq fringe-mode 0)))) |
:button (:radio . (and (boundp 'fringe-mode) |
717 |
|
(eq fringe-mode 0))))) |
718 |
|
|
719 |
(define-key menu-bar-showhide-menu [showhide-fringe] |
(define-key menu-bar-showhide-menu [showhide-fringe] |
720 |
(list 'menu-item "Fringe" menu-bar-showhide-fringe-menu |
(list 'menu-item "Fringe" menu-bar-showhide-fringe-menu |