Lines Matching +defs:compilation +defs:mode +defs:hook

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")
289     ;; Pop up the compilation buffer.
302       (compilation-mode "hets-compile")
303       ;; Start the compilation.
322 	    (set-process-sentinel proc 'dol-compilation-sentinel)
323 	    (set-process-filter proc 'dol-compilation-filter)
354 ;; Called when compilation process changes state.
355 (defun dol-compilation-sentinel (proc msg)
356   "Sentinel for compilation buffers."
368 		    ;; Write something in the compilation buffer
369 		    ;; and hack its mode line.
371 		    (dol-compilation-handle-exit (process-status proc)
374 		    ;; Since the buffer and mode line will show that the
379 	  ;; (setq compilation-in-progress (delq proc compilation-in-progress))
383 (defun dol-compilation-filter (proc string)
401 (defun dol-compilation-handle-exit (process-status exit-status msg)
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