diff options
| author | Chris Feng <chris.w.feng@gmail.com> | 2015-08-08T12·12+0800 |
|---|---|---|
| committer | Chris Feng <chris.w.feng@gmail.com> | 2015-08-08T12·12+0800 |
| commit | 63402b0efc19a50e89d868fad3f91b134170aab6 (patch) | |
| tree | 64fc73ac2844941b083a66c49bf6221c946de774 /exwm-workspace.el | |
| parent | 52984898ec8d59fe42e86a311c7e7dbeec95c611 (diff) | |
Correct layout refresh problems
* Relax the conditions to refresh layout; this may introduce some overheads though * Fix the problem when `*scratch*` buffer is killed; close #12 * Enhance `exwm-reset` by forcing layout refresh in it. This should allow users to overcome some layout bugs
Diffstat (limited to 'exwm-workspace.el')
0 files changed, 0 insertions, 0 deletions