diff options
| author | Francesco Abbate <francesco.bbt@gmail.com> | 2021-10-14 09:13:06 +0200 |
|---|---|---|
| committer | Francesco Abbate <francesco.bbt@gmail.com> | 2021-10-21 23:18:31 +0200 |
| commit | 167e41de65f40b99a4a79194c0a92b587a76b18a (patch) | |
| tree | 7e4f3acf2831a637fcb5e47df34c5becb6998e22 /data/plugins/language_python.lua | |
| parent | f18ac849fb908add8b1558f555ad378a247e85d7 (diff) | |
| download | lite-xl-167e41de65f40b99a4a79194c0a92b587a76b18a.tar.gz lite-xl-167e41de65f40b99a4a79194c0a92b587a76b18a.zip | |
Fix problem with treeview keeping the editor busy
Fix a problem introduced when fixing the dirty pixel problem, commit
cb08c5c. The node, when determining the layout was rounding the size
of the fixed-size view. In turns this latter was calling move_towards
to the default_size it wanted. If default_size was non-integer the
value vas never archieved because it was rounded during layout and
move_towars was keeping the editor busy by setting the
core.need_redraw flag.
Diffstat (limited to 'data/plugins/language_python.lua')
0 files changed, 0 insertions, 0 deletions