equal
deleted
inserted
replaced
589 (global-set-key [f7] 'rgrep) |
589 (global-set-key [f7] 'rgrep) |
590 (global-set-key [M-f7] 'rgrep) |
590 (global-set-key [M-f7] 'rgrep) |
591 |
591 |
592 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
592 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |
593 (message "highlighting") |
593 (message "highlighting") |
|
594 |
|
595 ;; Increase scrolling speed by defer consuming operation. |
|
596 (setq jit-lock-defer-time 0.01) |
594 |
597 |
595 (setq font-lock-maximum-decoration t) |
598 (setq font-lock-maximum-decoration t) |
596 (global-font-lock-mode 1) |
599 (global-font-lock-mode 1) |
597 |
600 |
598 (global-hi-lock-mode 1) |
601 (global-hi-lock-mode 1) |