.emacs-my
changeset 1278 8e47e801be9d
parent 1277 ae5c2b9ab4bd
child 1279 4738798c1eda
equal deleted inserted replaced
1277:ae5c2b9ab4bd 1278:8e47e801be9d
   496 (message "term")
   496 (message "term")
   497 
   497 
   498 (setq term-buffer-maximum-size (lsh 1 14))
   498 (setq term-buffer-maximum-size (lsh 1 14))
   499 
   499 
   500 (my--eval-after-load term
   500 (my--eval-after-load term
   501   '(progn
   501   (defun my-term-send-delete-word-forward () (interactive) (term-send-raw-string "\ed"))
   502     (defun my-term-send-delete-word-forward () (interactive) (term-send-raw-string "\ed"))
   502   (defun my-term-send-delete-word-backward () (interactive) (term-send-raw-string "\e\C-h"))
   503     (defun my-term-send-delete-word-backward () (interactive) (term-send-raw-string "\e\C-h"))
   503   (define-key term-raw-map [C-delete] 'my-term-send-delete-word-forward)
   504     (define-key term-raw-map [C-delete] 'my-term-send-delete-word-forward)
   504   (define-key term-raw-map [C-backspace] 'my-term-send-delete-word-backward)
   505     (define-key term-raw-map [C-backspace] 'my-term-send-delete-word-backward)
   505   (defun my-term-send-forward-word () (interactive) (term-send-raw-string "\ef"))
   506     (defun my-term-send-forward-word () (interactive) (term-send-raw-string "\ef"))
   506   (defun my-term-send-backward-word () (interactive) (term-send-raw-string "\eb"))
   507     (defun my-term-send-backward-word () (interactive) (term-send-raw-string "\eb"))
   507   (define-key term-raw-map [C-left] 'my-term-send-backward-word)
   508     (define-key term-raw-map [C-left] 'my-term-send-backward-word)
   508   (define-key term-raw-map [C-right] 'my-term-send-forward-word)
   509     (define-key term-raw-map [C-right] 'my-term-send-forward-word)
   509   (defun my-term-send-m-right () (interactive) (term-send-raw-string "\e[1;3C"))
   510     (defun my-term-send-m-right () (interactive) (term-send-raw-string "\e[1;3C"))
   510   (defun my-term-send-m-left () (interactive) (term-send-raw-string "\e[1;3D"))
   511     (defun my-term-send-m-left () (interactive) (term-send-raw-string "\e[1;3D"))
   511   (define-key term-raw-map [M-right] 'my-term-send-m-right)
   512     (define-key term-raw-map [M-right] 'my-term-send-m-right)
   512   (define-key term-raw-map [M-left] 'my-term-send-m-left) )
   513     (define-key term-raw-map [M-left] 'my-term-send-m-left)
       
   514     ))
       
   515 
   513 
   516 (defun my-term-mode-hook ()
   514 (defun my-term-mode-hook ()
   517   (goto-address-mode 1))
   515   (goto-address-mode 1))
   518 (add-hook 'term-mode-hook #'my-term-mode-hook)
   516 (add-hook 'term-mode-hook #'my-term-mode-hook)
   519 
   517 
   685 ;; Do not set t because some grep do not has --color options.
   683 ;; Do not set t because some grep do not has --color options.
   686 (setq grep-highlight-matches nil)
   684 (setq grep-highlight-matches nil)
   687 (setq grep-use-null-device nil)
   685 (setq grep-use-null-device nil)
   688 
   686 
   689 (my--eval-after-load grep
   687 (my--eval-after-load grep
   690   '(progn
   688   (add-to-list 'grep-find-ignored-directories "build" t)
   691      (add-to-list 'grep-find-ignored-directories "build" t)
   689   (add-to-list 'grep-find-ignored-directories "dist" t)
   692      (add-to-list 'grep-find-ignored-directories "dist" t)
   690   (add-to-list 'grep-find-ignored-directories "lib" t)
   693      (add-to-list 'grep-find-ignored-directories "lib" t)
   691   (add-to-list 'grep-find-ignored-directories "_build" t)
   694      (add-to-list 'grep-find-ignored-directories "_build" t)
   692   (add-to-list 'grep-find-ignored-directories "_dist" t)
   695      (add-to-list 'grep-find-ignored-directories "_dist" t)
   693   (add-to-list 'grep-find-ignored-directories "_lib" t)
   696      (add-to-list 'grep-find-ignored-directories "_lib" t)
   694   (when (boundp 'grep-find-ignored-files)
   697 
   695     (add-to-list 'grep-find-ignored-files "*TAGS")
   698      (when (boundp 'grep-find-ignored-files)
   696     (add-to-list 'grep-find-ignored-files "GPATH")) )
   699        (add-to-list 'grep-find-ignored-files "*TAGS")
   697 
   700        (add-to-list 'grep-find-ignored-files "GPATH")
       
   701        )
       
   702      ))
       
   703 (global-set-key [f7] 'rgrep)
   698 (global-set-key [f7] 'rgrep)
   704 (global-set-key [M-f7] 'rgrep)
   699 (global-set-key [M-f7] 'rgrep)
   705 
   700 
   706 (defun lzgrep ()
   701 (defun lzgrep ()
   707   (interactive)
   702   (interactive)
  1004 
   999 
  1005 (setq my-yas-root-directory "~/.emacs.d/my-yas")
  1000 (setq my-yas-root-directory "~/.emacs.d/my-yas")
  1006 (setq yas/ignore-filenames-as-triggers t)
  1001 (setq yas/ignore-filenames-as-triggers t)
  1007 
  1002 
  1008 ;; (my--eval-after-load yasnippet
  1003 ;; (my--eval-after-load yasnippet
  1009 ;;   '(progn
  1004 ;;   (cond
  1010 ;;      (cond
  1005 ;;    ((listp yas/root-directory) (add-to-list 'yas/root-directory my-yas-root-directory))
  1011 ;;       ((listp yas/root-directory) (add-to-list 'yas/root-directory my-yas-root-directory))
  1006 ;;    ((stringp yas/root-directory) (setq yas/root-directory (list my-yas-root-directory yas/root-directory)))
  1012 ;;       ((stringp yas/root-directory) (setq yas/root-directory (list my-yas-root-directory yas/root-directory)))
  1007 ;;    (t (error "I expect that yas/root-directory is a list of string")) )
  1013 ;;       (t (error "I expect that yas/root-directory is a list of string")) )
  1008 ;;   (mapc 'yas/load-directory yas/root-directory))
  1014 ;;      (mapc 'yas/load-directory yas/root-directory)))
       
  1015 
  1009 
  1016 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1010 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1017 (message "dired")
  1011 (message "dired")
  1018 
  1012 
  1019 (setq-default save-place t)
  1013 (setq-default save-place t)
  1120 (message "image, png, svg")
  1114 (message "image, png, svg")
  1121 
  1115 
  1122 (when (fboundp 'auto-image-file-mode)
  1116 (when (fboundp 'auto-image-file-mode)
  1123   (auto-image-file-mode 1))
  1117   (auto-image-file-mode 1))
  1124 (my--eval-after-load image-file
  1118 (my--eval-after-load image-file
  1125   '(progn
  1119   ;; Exclude .svg image from supported image list, as Emacs doesn't come
  1126      ;; Exclude .svg image from supported image list, as Emacs doesn't come
  1120   ;; with SVG shared library.
  1127      ;; with SVG shared library.
  1121   (setq image-file-name-extensions (remove "svg" image-file-name-extensions))
  1128      (setq image-file-name-extensions (remove "svg" image-file-name-extensions))
  1122   ;; Re-initialize the image-file handler.
  1129      ;; Re-initialize the image-file handler.
  1123   (auto-image-file-mode t) )
  1130      (auto-image-file-mode t)
       
  1131      ))
       
  1132 
  1124 
  1133 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1125 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1134 (message "url")
  1126 (message "url")
  1135 
  1127 
  1136 ;; http://tools.ietf.org/html/rfc3986
  1128 ;; http://tools.ietf.org/html/rfc3986
  1286 ;; Maintaining the table of contents up-to-date.
  1278 ;; Maintaining the table of contents up-to-date.
  1287 (add-hook 'rst-adjust-hook 'rst-toc-update)
  1279 (add-hook 'rst-adjust-hook 'rst-toc-update)
  1288 
  1280 
  1289 (unless window-system
  1281 (unless window-system
  1290   (my--eval-after-load rst
  1282   (my--eval-after-load rst
  1291     '(progn
  1283     (custom-set-faces
  1292        (custom-set-faces
  1284      '(rst-level-1-face ((t (:background "yellow"))) t)
  1293         '(rst-level-1-face ((t (:background "yellow"))) t)
  1285      '(rst-level-2-face ((t (:background "yellow"))) t)
  1294         '(rst-level-2-face ((t (:background "yellow"))) t)
  1286      '(rst-level-3-face ((t (:background "yellow"))) t)
  1295         '(rst-level-3-face ((t (:background "yellow"))) t)
  1287      '(rst-level-4-face ((t (:background "yellow"))) t)
  1296         '(rst-level-4-face ((t (:background "yellow"))) t)
  1288      '(rst-level-5-face ((t (:background "yellow"))) t)
  1297         '(rst-level-5-face ((t (:background "yellow"))) t)
  1289      '(rst-level-6face ((t (:background "yellow"))) t)
  1298         '(rst-level-6face ((t (:background "yellow"))) t)
  1290      ) ) )
  1299         ) ) ) )
       
  1300 
  1291 
  1301 ;; (add-hook 'rst-mode-hook #'abbrev-mode)
  1292 ;; (add-hook 'rst-mode-hook #'abbrev-mode)
  1302 ;; (remove-hook 'rst-mode-hook #'abbrev-mode)
  1293 ;; (remove-hook 'rst-mode-hook #'abbrev-mode)
  1303 
  1294 
  1304 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1295 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1330         ;%l "latex --src-specials"
  1321         ;%l "latex --src-specials"
  1331         ;%n line number  %p printcommand  %q "lpq"
  1322         ;%n line number  %p printcommand  %q "lpq"
  1332         ;%r (TeX-style-check TeX-print-style)
  1323         ;%r (TeX-style-check TeX-print-style)
  1333         ;%s master-file-name without extention
  1324         ;%s master-file-name without extention
  1334         ;%v yap command view line
  1325         ;%v yap command view line
  1335 ;(my--eval-after-load "tex"
  1326 ;; (my--eval-after-load tex
  1336 ;  '(progn
  1327 ;;   (add-to-list 'TeX-command-list
  1337 ;     (add-to-list 'TeX-command-list
  1328 ;;                (list "->PS landscape for pdf"
  1338 ;         (list "->PS landscape for pdf"
  1329 ;;                      "dvips %d -N0 -Ppdf -G0 -T 297mm,210mm -o %f "
  1339 ;           "dvips %d -N0 -Ppdf -G0 -T 297mm,210mm -o %f "
  1330 ;;                      'TeX-run-command nil t))
  1340 ;           'TeX-run-command nil t))
  1331 ;;   (add-to-list 'TeX-command-list
  1341 ;     (add-to-list 'TeX-command-list
  1332 ;;                (list "All Texify run-viewer"
  1342 ;         (list "All Texify run-viewer"
  1333 ;;                      "texify --tex-opt=--src --run-viewer --clean %s.tex"
  1343 ;           "texify --tex-opt=--src --run-viewer --clean %s.tex"
  1334 ;;                      'TeX-run-command nil t)))
  1344 ;           'TeX-run-command nil t))))
       
  1345 
  1335 
  1346 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1336 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1347 (message "reftex")
  1337 (message "reftex")
  1348 
  1338 
  1349 ;; Reftex is included with Emacs 21.1.
  1339 ;; Reftex is included with Emacs 21.1.
  1391          "^`" "['(]")))
  1381          "^`" "['(]")))
  1392 
  1382 
  1393 ;; Add `my-fix-for-automake-info-lookup' entries to the end of doc-spec for
  1383 ;; Add `my-fix-for-automake-info-lookup' entries to the end of doc-spec for
  1394 ;; some modes.
  1384 ;; some modes.
  1395 (my--eval-after-load info-look
  1385 (my--eval-after-load info-look
  1396   '(progn
  1386   (mapc
  1397      (mapc
  1387    (lambda (mode)
  1398       (lambda (mode)
  1388      (let ( (doc-spec (info-lookup->doc-spec 'symbol mode)) )
  1399         (let ( (doc-spec (info-lookup->doc-spec 'symbol mode)) )
  1389        (mapc
  1400           (mapc
  1390         (lambda (doc-spec-item)
  1401            (lambda (doc-spec-item)
  1391           (setcdr (last doc-spec) (list doc-spec-item)))
  1402              (setcdr (last doc-spec) (list doc-spec-item)))
  1392         my-fix-for-automake-info-lookup)))
  1403            my-fix-for-automake-info-lookup)))
  1393    '(makefile-mode autoconf-mode))
  1404       '(makefile-mode autoconf-mode))
  1394   (info-lookup-maybe-add-help
  1405      (info-lookup-maybe-add-help
  1395    :mode 'makefile-gmake-mode
  1406       :mode 'makefile-gmake-mode
  1396    :other-modes '(makefile-mode)))
  1407       :other-modes '(makefile-mode))
       
  1408      ))
       
  1409 
  1397 
  1410 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1398 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  1411 (message "man, woman")
  1399 (message "man, woman")
  1412 
  1400 
  1413 ;; Assume that cygwin-mount already activated.
  1401 ;; Assume that cygwin-mount already activated.
  1643 (setq mail-aliases t)
  1631 (setq mail-aliases t)
  1644 (require 'ecomplete)
  1632 (require 'ecomplete)
  1645 (setq message-mail-alias-type '(abbrev ecomplete))
  1633 (setq message-mail-alias-type '(abbrev ecomplete))
  1646 
  1634 
  1647 (my--eval-after-load message
  1635 (my--eval-after-load message
  1648   '(progn
  1636   (require 'mailabbrev)
  1649      (require 'mailabbrev)
  1637   (define-key message-mode-map "\e\t" 'mail-abbrev-complete-alias))
  1650      (define-key message-mode-map "\e\t" 'mail-abbrev-complete-alias)
       
  1651      ))
       
  1652 
  1638 
  1653 (defun my-message-mode-hook ()
  1639 (defun my-message-mode-hook ()
  1654   (setq fill-column 78)
  1640   (setq fill-column 78)
  1655   (turn-on-auto-fill)
  1641   (turn-on-auto-fill)
  1656   (flyspell-mode 1))
  1642   (flyspell-mode 1))
  1723 (defun my-kill-gnus ()
  1709 (defun my-kill-gnus ()
  1724   "Kill Gnus when exiting Emacs."
  1710   "Kill Gnus when exiting Emacs."
  1725   (let ( (gnus-interactive-exit nil) )
  1711   (let ( (gnus-interactive-exit nil) )
  1726     (gnus-group-exit)
  1712     (gnus-group-exit)
  1727     ))
  1713     ))
  1728 (my--eval-after-load gnus '(add-hook 'kill-emacs-hook 'my-kill-gnus))
  1714 (my--eval-after-load gnus
       
  1715   (add-hook 'kill-emacs-hook 'my-kill-gnus))
  1729 
  1716 
  1730 (my--eval-after-load gnus-art
  1717 (my--eval-after-load gnus-art
  1731   '(progn
  1718   (setq gnus-visible-headers (concat gnus-visible-headers "\\|^Archived-At")))
  1732      (setq gnus-visible-headers (concat gnus-visible-headers "\\|^Archived-At"))
       
  1733      ))
       
  1734 
  1719 
  1735 ;; Store gnus specific files to '~/.gnus'.
  1720 ;; Store gnus specific files to '~/.gnus'.
  1736 (setq
  1721 (setq
  1737  gnus-directory "~/.gnus"
  1722  gnus-directory "~/.gnus"
  1738  gnus-agent-directory "~/.gnus/agent/"
  1723  gnus-agent-directory "~/.gnus/agent/"
  1802 (defun my-w3m-view-url ()
  1787 (defun my-w3m-view-url ()
  1803   (interactive)
  1788   (interactive)
  1804   (browse-url (w3m-anchor)))
  1789   (browse-url (w3m-anchor)))
  1805 
  1790 
  1806 (my--eval-after-load w3m
  1791 (my--eval-after-load w3m
  1807   '(progn
  1792   (define-key w3m-minor-mode-map (kbd "RET") #'my-w3m-view-url)
  1808      (define-key w3m-minor-mode-map (kbd "RET") #'my-w3m-view-url)
  1793   (define-key w3m-minor-mode-map (kbd "S-RET") #'w3m-safe-view-this-url)
  1809      (define-key w3m-minor-mode-map (kbd "S-RET") #'w3m-safe-view-this-url)
  1794   (define-key w3m-minor-mode-map (kbd "<left>") #'backward-char)
  1810      (define-key w3m-minor-mode-map (kbd "<left>") #'backward-char)
  1795   (define-key w3m-minor-mode-map (kbd "<right>") #'forward-char)
  1811      (define-key w3m-minor-mode-map (kbd "<right>") #'forward-char)
  1796   (define-key w3m-minor-mode-map (kbd "<up>") #'previous-line)
  1812      (define-key w3m-minor-mode-map (kbd "<up>") #'previous-line)
  1797   (define-key w3m-minor-mode-map (kbd "<down>") #'next-line))
  1813      (define-key w3m-minor-mode-map (kbd "<down>") #'next-line)))
       
  1814 
  1798 
  1815 (add-hook 'gnus-group-mode-hook 'gnus-topic-mode)
  1799 (add-hook 'gnus-group-mode-hook 'gnus-topic-mode)
  1816 
  1800 
  1817 (my--eval-after-load gnus '(progn (gnus-demon-add-handler 'gnus-demon-scan-news 10 t)))
  1801 (my--eval-after-load gnus
       
  1802   (gnus-demon-add-handler 'gnus-demon-scan-news 10 t))
  1818 
  1803 
  1819 ;; Show prefix and 'To' field instead 'From' for my mails.
  1804 ;; Show prefix and 'To' field instead 'From' for my mails.
  1820 (setq gnus-summary-to-prefix "==> ")
  1805 (setq gnus-summary-to-prefix "==> ")
  1821 (setq gnus-summary-newsgroup-prefix "==> ")
  1806 (setq gnus-summary-newsgroup-prefix "==> ")
  1822 (setq gnus-ignored-from-addresses (list (regexp-quote user-mail-address) (regexp-quote user-full-name)))
  1807 (setq gnus-ignored-from-addresses (list (regexp-quote user-mail-address) (regexp-quote user-full-name)))
  1927         (gnus-kill-file-mark (from -9999))
  1912         (gnus-kill-file-mark (from -9999))
  1928         ))
  1913         ))
  1929 
  1914 
  1930 ;; Increase the score for followups to a sent article.
  1915 ;; Increase the score for followups to a sent article.
  1931 (my--eval-after-load gnus-score
  1916 (my--eval-after-load gnus-score
  1932   '(progn
  1917   ;; (add-hook 'message-sent-hook 'gnus-score-followup-article)
  1933      ;; (add-hook 'message-sent-hook 'gnus-score-followup-article)
  1918   (add-hook 'message-sent-hook 'gnus-score-followup-thread))
  1934      (add-hook 'message-sent-hook 'gnus-score-followup-thread)
       
  1935      ))
       
  1936 
  1919 
  1937 (defvar my-gnus-summary-kill-same-subject-min-len 8
  1920 (defvar my-gnus-summary-kill-same-subject-min-len 8
  1938   "Minimal length of subject string to ignore this subject.")
  1921   "Minimal length of subject string to ignore this subject.")
  1939 (defun my-gnus-summary-kill-same-subject (&optional unmark)
  1922 (defun my-gnus-summary-kill-same-subject (&optional unmark)
  1940   "Add negative scores for all articles with same subject."
  1923   "Add negative scores for all articles with same subject."
  1945         (gnus-summary-score-entry
  1928         (gnus-summary-score-entry
  1946          "subject" subj
  1929          "subject" subj
  1947          's (- gnus-score-interactive-default-score) (current-time-string)))))
  1930          's (- gnus-score-interactive-default-score) (current-time-string)))))
  1948   (gnus-summary-kill-same-subject unmark))
  1931   (gnus-summary-kill-same-subject unmark))
  1949 (my--eval-after-load gnus-sum
  1932 (my--eval-after-load gnus-sum
  1950   '(define-key gnus-summary-mode-map (kbd "C-k") #'my-gnus-summary-kill-same-subject))
  1933   (define-key gnus-summary-mode-map (kbd "C-k") #'my-gnus-summary-kill-same-subject))
  1951 
  1934 
  1952 (defun my-gnus.mark-thread-as-read ()
  1935 (defun my-gnus.mark-thread-as-read ()
  1953   "Mark unmarked articles in current thread as read and move to
  1936   "Mark unmarked articles in current thread as read and move to
  1954 next thread without selecting article."
  1937 next thread without selecting article."
  1955   (interactive)
  1938   (interactive)
  1959       (when (eq (gnus-summary-article-mark (gnus-summary-article-number)) gnus-unread-mark)
  1942       (when (eq (gnus-summary-article-mark (gnus-summary-article-number)) gnus-unread-mark)
  1960         (gnus-summary-mark-article (gnus-summary-article-number) gnus-del-mark))
  1943         (gnus-summary-mark-article (gnus-summary-article-number) gnus-del-mark))
  1961       (when (or (not (gnus-summary-search-forward)) (eq (gnus-summary-thread-level) 0))
  1944       (when (or (not (gnus-summary-search-forward)) (eq (gnus-summary-thread-level) 0))
  1962         (throw 'exit nil)) )))
  1945         (throw 'exit nil)) )))
  1963 (my--eval-after-load gnus-sum
  1946 (my--eval-after-load gnus-sum
  1964   '(define-key gnus-summary-mode-map (kbd "H-k") #'my-gnus.mark-thread-as-read))
  1947   (define-key gnus-summary-mode-map (kbd "H-k") #'my-gnus.mark-thread-as-read))
  1965 
  1948 
  1966 (defun my-gnus-thread-score-function (&rest scores)
  1949 (defun my-gnus-thread-score-function (&rest scores)
  1967   "If any followup have positive score assign greater available
  1950   "If any followup have positive score assign greater available
  1968 score to thread, else assign lesser available score."
  1951 score to thread, else assign lesser available score."
  1969   (let ( (max (apply 'max scores)) (min (apply 'min scores)) )
  1952   (let ( (max (apply 'max scores)) (min (apply 'min scores)) )
  1977     (gnus-thread-total-score
  1960     (gnus-thread-total-score
  1978      (gnus-id-to-thread (mail-header-id (gnus-summary-article-header)))))))
  1961      (gnus-id-to-thread (mail-header-id (gnus-summary-article-header)))))))
  1979 
  1962 
  1980 ;; Especially highlight my message and replays to me.
  1963 ;; Especially highlight my message and replays to me.
  1981 (my--eval-after-load gnus-sum
  1964 (my--eval-after-load gnus-sum
  1982   '(progn
  1965   (defface my-gnus-own-unread-face nil
  1983      (defface my-gnus-own-unread-face nil
  1966     "Use this face to display own postings in Summary Buffer")
  1984        "Use this face to display own postings in Summary Buffer")
  1967   (copy-face 'gnus-summary-high-unread-face 'my-gnus-own-unread-face)
  1985      (copy-face 'gnus-summary-high-unread-face 'my-gnus-own-unread-face)
  1968   (set-face-background 'my-gnus-own-unread-face "linen")
  1986      (set-face-background 'my-gnus-own-unread-face "linen")
  1969   (add-to-list 'gnus-summary-highlight
  1987      (add-to-list 'gnus-summary-highlight
  1970                '((and (> score 190) (eq mark gnus-unread-mark)) . my-gnus-own-unread-face))
  1988                   '((and (> score 190) (eq mark gnus-unread-mark)) . my-gnus-own-unread-face))
  1971   (defface my-gnus-own-ancient-face nil
  1989      (defface my-gnus-own-ancient-face nil
  1972     "Use this face to display own postings in Summary Buffer")
  1990        "Use this face to display own postings in Summary Buffer")
  1973   (copy-face 'gnus-summary-high-ancient-face 'my-gnus-own-ancient-face)
  1991      (copy-face 'gnus-summary-high-ancient-face 'my-gnus-own-ancient-face)
  1974   (set-face-background 'my-gnus-own-ancient-face "linen")
  1992      (set-face-background 'my-gnus-own-ancient-face "linen")
  1975   (add-to-list 'gnus-summary-highlight
  1993      (add-to-list 'gnus-summary-highlight
  1976                '((and (> score 190) (eq mark gnus-ancient-mark)) . my-gnus-own-ancient-face))
  1994                   '((and (> score 190) (eq mark gnus-ancient-mark)) . my-gnus-own-ancient-face))
  1977   (defface my-gnus-own-ticked-face nil
  1995      (defface my-gnus-own-ticked-face nil
  1978     "Use this face to display own postings in Summary Buffer")
  1996        "Use this face to display own postings in Summary Buffer")
  1979   (copy-face 'gnus-summary-high-ticked-face 'my-gnus-own-ticked-face)
  1997      (copy-face 'gnus-summary-high-ticked-face 'my-gnus-own-ticked-face)
  1980   (set-face-background 'my-gnus-own-ticked-face "linen")
  1998      (set-face-background 'my-gnus-own-ticked-face "linen")
  1981   (add-to-list 'gnus-summary-highlight
  1999      (add-to-list 'gnus-summary-highlight
  1982                '((and (> score 190) (or (eq mark gnus-dormant-mark) (eq mark gnus-ticked-mark))) . my-gnus-own-ticked-face))
  2000                   '((and (> score 190) (or (eq mark gnus-dormant-mark) (eq mark gnus-ticked-mark))) . my-gnus-own-ticked-face))
  1983   (defface my-gnus-fup-face nil
  2001      (defface my-gnus-fup-face nil
  1984     "Use this face to display direct fups to my postings.")
  2002        "Use this face to display direct fups to my postings.")
  1985   (copy-face 'gnus-summary-high-unread-face 'my-gnus-fup-face)
  2003      (copy-face 'gnus-summary-high-unread-face 'my-gnus-fup-face)
  1986   (set-face-background 'my-gnus-fup-face "honeydew")
  2004      (set-face-background 'my-gnus-fup-face "honeydew")
  1987   (add-to-list 'gnus-summary-highlight
  2005      (add-to-list 'gnus-summary-highlight
  1988                '((and (<= 90 score) (<= score 110) (eq mark gnus-unread-mark)) . my-gnus-fup-face)) )
  2006                   '((and (<= 90 score) (<= score 110) (eq mark gnus-unread-mark)) . my-gnus-fup-face))
       
  2007      ))
       
  2008 
  1989 
  2009 ;; (setq gnus-home-score-file
  1990 ;; (setq gnus-home-score-file
  2010 ;;       ;; All groups that match the regexp `"\\.emacs"'
  1991 ;;       ;; All groups that match the regexp `"\\.emacs"'
  2011 ;;       '(("\\.emacs" "emacs.SCORE")
  1992 ;;       '(("\\.emacs" "emacs.SCORE")
  2012 ;;         ;; All the comp groups in one score file
  1993 ;;         ;; All the comp groups in one score file
  2013 ;;         ("^comp" "comp.SCORE")))
  1994 ;;         ("^comp" "comp.SCORE")))
  2014 
  1995 
  2015 ;; Make C-Up, C-Down more like across paragraph moving.
  1996 ;; Make C-Up, C-Down more like across paragraph moving.
  2016 (my--eval-after-load gnus
  1997 (my--eval-after-load gnus
  2017   '(progn
  1998   (define-key gnus-summary-mode-map [(meta up)] '(lambda() (interactive) (scroll-other-window -1)))
  2018      (define-key gnus-summary-mode-map [(meta up)] '(lambda() (interactive) (scroll-other-window -1)))
  1999   (define-key gnus-summary-mode-map [(meta down)] '(lambda() (interactive) (scroll-other-window 1)))
  2019      (define-key gnus-summary-mode-map [(meta down)] '(lambda() (interactive) (scroll-other-window 1)))
  2000   (define-key gnus-summary-mode-map [(control down)] 'gnus-summary-next-thread)
  2020      (define-key gnus-summary-mode-map [(control down)] 'gnus-summary-next-thread)
  2001   (define-key gnus-summary-mode-map [(control up)] 'gnus-summary-prev-thread))
  2021      (define-key gnus-summary-mode-map [(control up)] 'gnus-summary-prev-thread)
       
  2022      ))
       
  2023 
  2002 
  2024 ;; (setq imap-log t)
  2003 ;; (setq imap-log t)
  2025 
  2004 
  2026 ;; (setq mail-user-agent 'mh-e-user-agent)
  2005 ;; (setq mail-user-agent 'mh-e-user-agent)
  2027 
  2006 
  2066  jabber-backlog-days 30
  2045  jabber-backlog-days 30
  2067  jabber-alert-presence-message-function (lambda (who oldstatus newstatus statustext) nil)
  2046  jabber-alert-presence-message-function (lambda (who oldstatus newstatus statustext) nil)
  2068  )
  2047  )
  2069 
  2048 
  2070 (my--eval-after-load jabber
  2049 (my--eval-after-load jabber
  2071   '(progn
  2050   ;; Redefine standard binding for sending message form RET to C-RET.
  2072     ;; Redefine standard binding for sending message form RET to C-RET.
  2051   (define-key jabber-chat-mode-map (kbd "RET") 'newline)
  2073     (define-key jabber-chat-mode-map (kbd "RET") 'newline)
  2052   (define-key jabber-chat-mode-map [C-return] 'jabber-chat-buffer-send)
  2074     (define-key jabber-chat-mode-map [C-return] 'jabber-chat-buffer-send)
  2053   ;; fsm used in emacs jabber
  2075     ;; fsm used in emacs jabber
  2054   (when (featurep 'fsm)
  2076     (when (featurep 'fsm)
  2055     (setq fsm-debug nil))               ; Disable *fsm-debug* buffer.
  2077       (setq fsm-debug nil)                  ; Disable *fsm-debug* buffer.
  2056   ;; Handle Emacs exit.
  2078       )
  2057   (add-hook 'kill-emacs-hook 'jabber-disconnect))
  2079     ;; Handle Emacs exit.
       
  2080     (add-hook 'kill-emacs-hook 'jabber-disconnect)
       
  2081     ))
       
  2082 
  2058 
  2083 (setq my-chat-prompt "[%t] %n>\n")
  2059 (setq my-chat-prompt "[%t] %n>\n")
  2084 (setq
  2060 (setq
  2085  jabber-chat-foreign-prompt-format my-chat-prompt
  2061  jabber-chat-foreign-prompt-format my-chat-prompt
  2086  jabber-chat-local-prompt-format my-chat-prompt
  2062  jabber-chat-local-prompt-format my-chat-prompt
  2087  jabber-groupchat-prompt-format my-chat-prompt
  2063  jabber-groupchat-prompt-format my-chat-prompt
  2088  jabber-muc-private-foreign-prompt-format "[%t] %g/%n>\n"
  2064  jabber-muc-private-foreign-prompt-format "[%t] %g/%n>\n")
  2089  )
       
  2090 
  2065 
  2091 (let ( (mgs-list '("Я тутачки, а где Вы меня ожидали?"
  2066 (let ( (mgs-list '("Я тутачки, а где Вы меня ожидали?"
  2092                    "Software Development == Church Development. Step 1. Build it. Step 2. Pray."
  2067                    "Software Development == Church Development. Step 1. Build it. Step 2. Pray."
  2093                    "Great books aren't written – they're rewritten."
  2068                    "Great books aren't written – they're rewritten."
  2094                    "А любит Б, Б любит С, что делать A? Найти другую Б!")) )
  2069                    "А любит Б, Б любит С, что делать A? Найти другую Б!")) )
  2167 
  2142 
  2168 (setq
  2143 (setq
  2169  erc-log-channels-directory "~/.emacs.d/.irc"
  2144  erc-log-channels-directory "~/.emacs.d/.irc"
  2170  erc-log-file-coding-system 'utf-8-unix)
  2145  erc-log-file-coding-system 'utf-8-unix)
  2171 (my--eval-after-load erc
  2146 (my--eval-after-load erc
  2172   (lambda ()
  2147   (require 'erc-log)
  2173     (require 'erc-log)
  2148   (mkdir erc-log-channels-directory t))
  2174     (mkdir erc-log-channels-directory t)))
       
  2175 
  2149 
  2176 ;; Kill buffers for channels after /part
  2150 ;; Kill buffers for channels after /part
  2177 ;; (setq erc-kill-buffer-on-part t)
  2151 ;; (setq erc-kill-buffer-on-part t)
  2178 ;; Kill buffers for private queries after quitting the server
  2152 ;; Kill buffers for private queries after quitting the server
  2179 ;; (setq erc-kill-queries-on-quit t)
  2153 ;; (setq erc-kill-queries-on-quit t)
  2224 ;; (defun my-diff-auto-refine-mode-on () (diff-auto-refine-mode 1))
  2198 ;; (defun my-diff-auto-refine-mode-on () (diff-auto-refine-mode 1))
  2225 ;; (add-hook 'diff-mode-hook 'my-diff-auto-refine-mode-on)
  2199 ;; (add-hook 'diff-mode-hook 'my-diff-auto-refine-mode-on)
  2226 
  2200 
  2227 (when window-system
  2201 (when window-system
  2228   (my--eval-after-load diff-mode
  2202   (my--eval-after-load diff-mode
  2229     '(progn
  2203     (set-face-foreground 'diff-added-face "DarkGreen")
  2230        (set-face-foreground 'diff-added-face "DarkGreen")
  2204     (set-face-foreground 'diff-removed-face "DarkRed")
  2231        (set-face-foreground 'diff-removed-face "DarkRed")
  2205     (set-face-background 'diff-refine-change "LightBlue1")))
  2232        (set-face-background 'diff-refine-change "LightBlue1")
       
  2233        )))
       
  2234 
  2206 
  2235 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2207 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2236 (message "vc-mode, VCS, version control, cvs, svn, mercurial, hg, bazaar, bzr, git, fossil")
  2208 (message "vc-mode, VCS, version control, cvs, svn, mercurial, hg, bazaar, bzr, git, fossil")
  2237 
  2209 
  2238 ;; `-b' switch to ignore changes in whitespaces.
  2210 ;; `-b' switch to ignore changes in whitespaces.
  2347 
  2319 
  2348 ;; Show error in EN locale to easy search how fix problem in docs and Internet.
  2320 ;; Show error in EN locale to easy search how fix problem in docs and Internet.
  2349 ;; (setq compilation-environment '("LANG=C"))
  2321 ;; (setq compilation-environment '("LANG=C"))
  2350 
  2322 
  2351 (my--eval-after-load compile
  2323 (my--eval-after-load compile
  2352   '(progn
  2324   ;; My funny error messages.
  2353      ;; My funny error messages.
  2325   (add-to-list 'compilation-error-regexp-alist '("^\\( +\\[csc\\] \\|\\)\\(.*\\)(\\([0-9]*\\),\\([0-9]*\\)):" 2 3 4))
  2354      (add-to-list 'compilation-error-regexp-alist '("^\\( +\\[csc\\] \\|\\)\\(.*\\)(\\([0-9]*\\),\\([0-9]*\\)):" 2 3 4))
  2326   (add-to-list 'compilation-error-regexp-alist '("^ *\\(.*\\)(\\([0-9]*\\)) +:" 1 2))
  2355      (add-to-list 'compilation-error-regexp-alist '("^ *\\(.*\\)(\\([0-9]*\\)) +:" 1 2))
  2327   (add-to-list 'compilation-error-regexp-alist '("^\"?\\([^\"]*\\)\"?,\\([0-9]*\\) .*\\[.*\\]: " 1 2)) ; KEIL compiler
  2356      (add-to-list 'compilation-error-regexp-alist '("^\"?\\([^\"]*\\)\"?,\\([0-9]*\\) .*\\[.*\\]: " 1 2)) ; KEIL compiler
  2328   (add-to-list 'compilation-error-regexp-alist-alist '(maven "\\[ERROR\\] \\(.*\\.java\\):\\[\\([0-9]+\\),\\([0-9]+\\)\\]" 1 2 3))
  2357      (add-to-list 'compilation-error-regexp-alist-alist '(maven "\\[ERROR\\] \\(.*\\.java\\):\\[\\([0-9]+\\),\\([0-9]+\\)\\]" 1 2 3))
  2329   (add-to-list 'compilation-error-regexp-alist 'maven)
  2358      (add-to-list 'compilation-error-regexp-alist 'maven)
  2330   (when (boundp 'compilation-mode-font-lock-keywords)
  2359      (when (boundp 'compilation-mode-font-lock-keywords)
  2331     (add-to-list 'compilation-mode-font-lock-keywords '("\\(/[Oo][Uu][Tt]:[^[:blank:]]+\\)" . 1))
  2360        (add-to-list 'compilation-mode-font-lock-keywords '("\\(/[Oo][Uu][Tt]:[^[:blank:]]+\\)" . 1))
  2332     (add-to-list 'compilation-mode-font-lock-keywords '("[[:blank:]]\\(/F[oe][^[:blank:]]+\\)" . 1))))
  2361        (add-to-list 'compilation-mode-font-lock-keywords '("[[:blank:]]\\(/F[oe][^[:blank:]]+\\)" . 1))
       
  2362        )
       
  2363      ))
       
  2364 
  2333 
  2365 (ignore-errors
  2334 (ignore-errors
  2366   (require 'ansi-color)
  2335   (require 'ansi-color)
  2367   (defun my-colorize-compilation-buffer ()
  2336   (defun my-colorize-compilation-buffer ()
  2368     (when (eq major-mode 'compilation-mode)
  2337     (when (eq major-mode 'compilation-mode)
  2379    (list (read-input "Type string: " nil 'my-comint-send-hist-list))
  2348    (list (read-input "Type string: " nil 'my-comint-send-hist-list))
  2380    )
  2349    )
  2381   (comint-send-string (get-buffer-process (current-buffer)) (concat string "\n"))
  2350   (comint-send-string (get-buffer-process (current-buffer)) (concat string "\n"))
  2382   )
  2351   )
  2383 (my--eval-after-load compile
  2352 (my--eval-after-load compile
  2384   '(progn
  2353   (define-key compilation-mode-map [C-return] 'my-comint-send-string))
  2385      (define-key compilation-mode-map [C-return] 'my-comint-send-string)
       
  2386      ))
       
  2387 
  2354 
  2388 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2355 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2389 (message "scons")
  2356 (message "scons")
  2390 
  2357 
  2391 (add-to-list 'auto-mode-alist '("SConstruct\\'" . python-mode))
  2358 (add-to-list 'auto-mode-alist '("SConstruct\\'" . python-mode))
  2678 (message "python")
  2645 (message "python")
  2679 
  2646 
  2680 (setq python-indent 4)
  2647 (setq python-indent 4)
  2681 
  2648 
  2682 (my--eval-after-load python-mode
  2649 (my--eval-after-load python-mode
  2683   '(when (and (boundp 'py-version) (equal py-version "5.1.0"))
  2650   (when (and (boundp 'py-version) (equal py-version "5.1.0"))
  2684     (setq-default py-which-shell py-python-command)
  2651     (setq-default py-which-shell py-python-command)
  2685     ;; (py-toggle-shells 'cpython)
  2652     ;; (py-toggle-shells 'cpython)
  2686     ))
  2653     ))
  2687 
  2654 
  2688 (my--eval-after-load python
  2655 (my--eval-after-load python
  2689   '(define-key inferior-python-mode-map "\C-c\C-f" 'python-describe-symbol))
  2656   (define-key inferior-python-mode-map "\C-c\C-f" 'python-describe-symbol))
  2690 
  2657 
  2691 ;; Enable "M-/", "C-c g", "C-c d", "C-c f" shortcuts.
  2658 ;; Enable "M-/", "C-c g", "C-c d", "C-c f" shortcuts.
  2692 (setq ropemacs-enable-shortcuts t)
  2659 (setq ropemacs-enable-shortcuts t)
  2693 (ignore-errors
  2660 (ignore-errors
  2694   ;; (require 'pymacs)
  2661   ;; (require 'pymacs)
  2752 
  2719 
  2753 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2720 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2754 (message "SML, Standard ML")
  2721 (message "SML, Standard ML")
  2755 
  2722 
  2756 (my--eval-after-load sml
  2723 (my--eval-after-load sml
  2757   '(progn
  2724   (define-key sml-mode-map (kbd "C-c C-p") 'sml-send-function))
  2758      (define-key sml-mode-map (kbd "C-c C-p") 'sml-send-function)
       
  2759      ))
       
  2760 
  2725 
  2761 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2726 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2762 (message "javascript, js")
  2727 (message "javascript, js")
  2763 
  2728 
  2764 (if (>= emacs-major-version 23)
  2729 (if (>= emacs-major-version 23)
  2765     (add-to-list 'auto-mode-alist '("\\.js$" . js-mode))
  2730     (add-to-list 'auto-mode-alist '("\\.js$" . js-mode))
  2766   (add-to-list 'auto-mode-alist '("\\.js$" . javascript-generic-mode))
  2731   (add-to-list 'auto-mode-alist '("\\.js$" . javascript-generic-mode))
  2767   )
  2732   )
  2768 
  2733 
  2769 (my--eval-after-load js '(modify-syntax-entry ?$ "w" js-mode-syntax-table))
  2734 (my--eval-after-load js
       
  2735   (modify-syntax-entry ?$ "w" js-mode-syntax-table))
  2770 
  2736 
  2771 (setq js-indent-level 4)
  2737 (setq js-indent-level 4)
  2772 ;; js-curly-indent-offset, js-expr-indent-offset, js-paren-indent-offset, 	js-square-indent-offset, js-switch-indent-offset
  2738 ;; js-curly-indent-offset, js-expr-indent-offset, js-paren-indent-offset, 	js-square-indent-offset, js-switch-indent-offset
  2773 
  2739 
  2774 ;; BUG: all single char comments do not stop highlighting on end of line but
  2740 ;; BUG: all single char comments do not stop highlighting on end of line but
  2913 (add-to-list 'auto-mode-alist '("\.pom\\'" . nxml-mode))
  2879 (add-to-list 'auto-mode-alist '("\.pom\\'" . nxml-mode))
  2914 (add-to-list 'auto-mode-alist '("\.xsd\\'" . nxml-mode))
  2880 (add-to-list 'auto-mode-alist '("\.xsd\\'" . nxml-mode))
  2915 (add-to-list 'auto-mode-alist '("\.rng\\'" . nxml-mode))
  2881 (add-to-list 'auto-mode-alist '("\.rng\\'" . nxml-mode))
  2916 (add-to-list 'auto-mode-alist '("\.xul\\'" . nxml-mode))
  2882 (add-to-list 'auto-mode-alist '("\.xul\\'" . nxml-mode))
  2917 
  2883 
  2918 (my--eval-after-load nxml-mode '(define-key nxml-mode-map [C-return] 'nxml-complete))
  2884 (my--eval-after-load nxml-mode
       
  2885   (define-key nxml-mode-map [C-return] 'nxml-complete))
  2919 
  2886 
  2920 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2887 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2921 (message "relax ng, rng")
  2888 (message "relax ng, rng")
  2922 
  2889 
  2923 (my--eval-after-load rng-loc '(add-to-list 'rng-schema-locating-files "~/.emacs.d/rnc/schemas.xml"))
  2890 (my--eval-after-load rng-loc
       
  2891   (add-to-list 'rng-schema-locating-files "~/.emacs.d/rnc/schemas.xml"))
  2924 
  2892 
  2925 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2893 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2926 (message "web-mode")
  2894 (message "web-mode")
  2927 
  2895 
  2928 (setq web-mode-markup-indent-offset 2
  2896 (setq web-mode-markup-indent-offset 2
  2967          ))
  2935          ))
  2968       )
  2936       )
  2969 
  2937 
  2970 (setq sgml-set-face t)                  ; for highlighting in sgml
  2938 (setq sgml-set-face t)                  ; for highlighting in sgml
  2971 (my--eval-after-load sgml-mode
  2939 (my--eval-after-load sgml-mode
  2972   '(progn
  2940   (unless (featurep 'psgml)
  2973      (unless (featurep 'psgml)
  2941     (setq html-tag-alist
  2974        (setq html-tag-alist
  2942           (cons
  2975              (cons
  2943            my-html-template
  2976               my-html-template
  2944            (my-filter
  2977               (my-filter
  2945             (lambda (item) (not (equal (car item) "html")))
  2978                (lambda (item) (not (equal (car item) "html")))
  2946             html-tag-alist)))
  2979                html-tag-alist)))
  2947     (add-to-list 'html-tag-alist '("script" (\n) ("type" "text/javascript") ))
  2980        (add-to-list 'html-tag-alist '("script" (\n) ("type" "text/javascript") ))
  2948     (add-to-list 'html-tag-alist '("style" (\n) ("type" "text/css") )) ))
  2981        (add-to-list 'html-tag-alist '("style" (\n) ("type" "text/css") ))
       
  2982        )))
       
  2983 
       
  2984 
  2949 
  2985 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2950 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2986 (message "jsp")
  2951 (message "jsp")
  2987 
  2952 
  2988 (define-derived-mode jsp-mode html-mode "JSP"
  2953 (define-derived-mode jsp-mode html-mode "JSP"
  3018  ;; Too many output, so commented:
  2983  ;; Too many output, so commented:
  3019  ;; isar-display:show-consts t
  2984  ;; isar-display:show-consts t
  3020  )
  2985  )
  3021 
  2986 
  3022 (my--eval-after-load proof
  2987 (my--eval-after-load proof
  3023   '(progn
  2988   ;; (proof-maths-menu-toggle 1)
  3024      ;; (proof-maths-menu-toggle 1)
  2989   ;; (unicode-tokens-mode 1)
  3025      ;; (unicode-tokens-mode 1)
  2990   ;; (proof-imenu-toggle 1)
  3026      ;; (proof-imenu-toggle 1)
  2991   )
  3027      ))
       
  3028 (my--eval-after-load isar
  2992 (my--eval-after-load isar
  3029   '(progn
  2993   (define-key isar-mode-map (kbd "C-c C-m") 'proof-goto-point))
  3030      (define-key isar-mode-map (kbd "C-c C-m") 'proof-goto-point)
       
  3031      ))
       
  3032 
  2994 
  3033 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  2995 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
  3034 (message "printing")
  2996 (message "printing")
  3035 
  2997 
  3036 (setq ps-paper-type 'a4)
  2998 (setq ps-paper-type 'a4)