trunk/verif/md/emacs.nico

   1 ;; Display
   2 (set-default-font "6x13")
   3 ;;(standard-display-european t)   ; affichage des caracte`res iso-latin
   4 (require 'iso-insert)           ; pour l'insertion de caracte`res
   5
   6
   7 ;; Auto font lock mode
   8 (if (string-match "XEmacs" emacs-version 0)
   9     (progn
  10       (require 'font-lock)
  11       (setq-default font-lock-auto-fontify t))
  12   (global-font-lock-mode t)
  13 )
  14
  15
  16 ;; Custom variables and keys
  17 (menu-bar-mode 0)
  18 (tool-bar-mode 0)
  19 (setq-default auto-save-mode nil)
  20 (global-set-key "\M-g" 'goto-line)
  21 (setq-default indent-tabs-mode nil)
  22 (setq c-basic-offset 8)
  23 (global-set-key [delete]  'delete-char) ; [Del]
  24 (global-set-key [home]    'beginning-of-line) ; [Home]
  25 (global-set-key [end]     'end-of-line) ; [End]
  26
  27
  28 ;; Promela mode
  29 (autoload 'promela-mode "promela-mode" "PROMELA mode" nil t)
  30 (setq auto-mode-alist
  31       (append
  32        (list (cons "\\.promela$"  'promela-mode)
  33              (cons "\\.spin$"     'promela-mode)
  34              (cons "\\.pml$"      'promela-mode)
  35              )
  36        auto-mode-alist))
  37
  38 ;; Mousewheel
  39 (defun sd-mousewheel-scroll-up (event)
  40   "Scroll window under mouse up by five lines."
  41   (interactive "e")
  42   (let ((current-window (selected-window)))
  43     (unwind-protect
  44         (progn
  45           (select-window (posn-window (event-start event)))
  46           (scroll-up 5))
  47       (select-window current-window))))
  48
  49 (defun sd-mousewheel-scroll-down (event)
  50   "Scroll window under mouse down by five lines."
  51   (interactive "e")
  52   (let ((current-window (selected-window)))
  53     (unwind-protect
  54         (progn
  55           (select-window (posn-window (event-start event)))
  56           (scroll-down 5))
  57       (select-window current-window))))
  58
  59 (global-set-key (kbd "<mouse-5>") 'sd-mousewheel-scroll-up)
  60 (global-set-key (kbd "<mouse-4>") 'sd-mousewheel-scroll-down)
  61