Lines Matching defs:mode
12 (defconst dol-mode-version "0.4"
16 "Major mode for editing (heterogeneous) DOL specifications."
21 (defvar dol-mode-hook nil)
22 (defvar dol-mode-map (let ((keymap (make-keymap)))
29 "Keymap for DOL major mode")
37 ;; Syntax table for DOL major mode
38 (defvar dol-mode-syntax-table nil
39 "Syntax table for DOL mode.")
41 (if dol-mode-syntax-table
74 (setq dol-mode-syntax-table table))
77 ;; Various mode variables.
117 "DOL mode face for Annotations")
262 "Default syntax highlighting level in DOL mode")
302 (compilation-mode "hets-compile")
369 ;; and hack its mode line.
374 ;; Since the buffer and mode line will show that the
402 "Write msg in the current buffer and hack its mode-line-process."
411 (insert ?\n mode-name " " (car status))
416 (setq mode-line-process (format ":%s [%s]" process-status (cdr status)))
417 ;; Force mode line redisplay soon.
418 (force-mode-line-update)
493 ;; dol major mode setup
494 ;; Definition of DOL major mode
495 (defun dol-mode ()
496 "Major mode for editing DOL models"
499 (setq major-mode 'dol-mode)
500 (setq mode-name "DOL")
502 (use-local-map dol-mode-map)
504 (set-syntax-table dol-mode-syntax-table)
514 (add-hook 'compilation-mode-hook
518 (define-key compilation-minor-mode-map [mouse-2]
520 (define-key compilation-minor-mode-map "\C-m"
522 (run-hooks 'dol-mode-hook)
525 (provide 'dol-mode)
527 ;; DOL-mode ends here