diff options
| author | benjamin <benjamin.lindqvist@gmail.com> | 2018-09-11 21:30:54 +0200 |
|---|---|---|
| committer | benjamin <benjamin.lindqvist@gmail.com> | 2018-09-11 21:30:54 +0200 |
| commit | 7cb5083249ab429ef06b8d68d6f30628600a4cab (patch) | |
| tree | b4ca690069b9e10d5cc3d95cfbff62ba519ceffb | |
| parent | a8dc2089927beedd68440f8ccc7c688957e7db9f (diff) | |
| parent | dfcfd849dd206a138d7901700df73e91e59969e9 (diff) | |
Merge remote-tracking branch 'origin/master'
| -rw-r--r-- | feebleline.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/feebleline.el b/feebleline.el index b9f6af2..a62c77a 100644 --- a/feebleline.el +++ b/feebleline.el @@ -199,6 +199,8 @@ sent to `add-text-properties'.") (cancel-timer feebleline/timer) ;; (ad-deactivate 'handle-switch-frame) (remove-hook 'focus-in-hook 'feebleline-mode-line-proxy-fn) + (force-mode-line-update) + (redraw-display) (with-current-buffer " *Minibuf-0*" (erase-buffer)))) |