765 |
(custom-reevaluate-setting 'blink-cursor-mode) |
(custom-reevaluate-setting 'blink-cursor-mode) |
766 |
(custom-reevaluate-setting 'normal-erase-is-backspace) |
(custom-reevaluate-setting 'normal-erase-is-backspace) |
767 |
(custom-reevaluate-setting 'tooltip-mode) |
(custom-reevaluate-setting 'tooltip-mode) |
768 |
|
(custom-reevaluate-setting 'global-font-lock-mode) |
769 |
(custom-reevaluate-setting 'mouse-wheel-down-event) |
(custom-reevaluate-setting 'mouse-wheel-down-event) |
770 |
(custom-reevaluate-setting 'mouse-wheel-up-event) |
(custom-reevaluate-setting 'mouse-wheel-up-event) |
771 |
|
|