diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2016-07-19T02·24+0800 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2016-07-19T02·24+0800 |
| commit | 73d890aad4e06cc722a00ed40532a7df07a83550 (patch) | |
| tree | 257bb905d59af3253d23461fb6e998a57ba5b68a /exwm-manage.el | |
| parent | d0797d03ded13aff09211ea77c6b37cccaf6ff12 (diff) | |
Fix various minor issues
; Coding style fixes * exwm-core.el (exwm-mode-menu exwm-mode-map): Use `exwm-workspace--count'. * exwm-workspace.el (exwm-workspace--set-fullscreen) (exwm-workspace--on-focus-in, exwm-workspace--set-desktop): Use `exwm-workspace--position'. * exwm-workspace.el (exwm-workspace-swap, exwm-workspace-move): Renamed from `exwm-workspace-swap-workspace' and `exwm-workspace-move-workspace'. * exwm-workspace.el (exwm-workspace--update-ewmh-props): Update comments. * exwm-workspace.el (exwm-workspace--switch-map-nth-prefix): Fix a calculation. * exwm-workspace.el (exwm-workspace-switch): Fix a potential timer problem. * exwm-workspace.el (exwm-workspace-swap, exwm-workspace-move) (exwm-workspace--remove-frame-as-workspace): Update workspace and clients involved. * exwm-workspace.el (exwm-workspace--remove-frame-as-workspace): Remove workspace first.
Diffstat (limited to 'exwm-manage.el')
| -rw-r--r-- | exwm-manage.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/exwm-manage.el b/exwm-manage.el index d67929a9d22b..7a3a18b88e62 100644 --- a/exwm-manage.el +++ b/exwm-manage.el @@ -515,7 +515,7 @@ border-width: %d; sibling: #x%x; stack-mode: %d" (< (abs width-delta) exwm-manage--width-delta-min)) (if (= 0 (logand value-mask - xcb:ConfigWindow:Height)) + xcb:ConfigWindow:Height)) t (< (abs height-delta) exwm-manage--height-delta-min)))))))) |