diff options
| author | fpi | 2020-09-30 10:02:38 +0200 |
|---|---|---|
| committer | fpi | 2020-09-30 10:02:38 +0200 |
| commit | 1482e2f9fe0558acb36e170b627dc46b1f6f6a38 (patch) | |
| tree | 6893e139c76d2cfb9303cb1cf88743b341c009ef /header-info.el | |
| parent | First version (diff) | |
Diffstat (limited to 'header-info.el')
| -rw-r--r-- | header-info.el | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/header-info.el b/header-info.el index 035f50e..ee799fb 100644 --- a/header-info.el +++ b/header-info.el @@ -128,6 +128,7 @@ mouse-3: Toggle minor modes" header-line-format header-info-header-line-format) (setq header-info-old-mode-line mode-line-format mode-line-format header-info-mode-line-format)) + (defun turn-off-header-info-mode () (setq header-line-format header-info-old-header-line) (setq mode-line-format header-info-old-mode-line)) @@ -141,8 +142,11 @@ mouse-3: Toggle minor modes" (turn-on-header-info-mode) (turn-off-header-info-mode))) +(defun turn-on-global-header-info-mode () + (header-info-mode 1)) + (define-globalized-minor-mode global-header-info-mode - header-info-mode turn-on-header-info-mode) + header-info-mode turn-on-global-header-info-mode) (provide 'header-info) |