equal
deleted
inserted
replaced
122 scroll-preserve-screen-position t |
122 scroll-preserve-screen-position t |
123 ) |
123 ) |
124 |
124 |
125 ;; ---------------------------------------------------------------------- |
125 ;; ---------------------------------------------------------------------- |
126 ;; search |
126 ;; search |
|
127 |
127 (setq case-fold-search t) |
128 (setq case-fold-search t) |
|
129 |
|
130 (setq query-replace-highlight t) ; highlight during query |
|
131 (setq search-highlight t) ; highlight incremental search |
128 |
132 |
129 ;; ---------------------------------------------------------------------- |
133 ;; ---------------------------------------------------------------------- |
130 ;; *Occur* |
134 ;; *Occur* |
131 (global-set-key [f7] 'occur) ; Key binding as in mc |
135 (global-set-key [f7] 'occur) ; Key binding as in mc |
132 |
136 |