Francesco Abbate 167e41de65 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.		2021-10-21 23:18:31 +02:00
..
colors	Add textadept theme and correct language_lua just a bit	2021-08-11 23:33:00 +02:00
core	Fix problem with treeview keeping the editor busy	2021-10-21 23:18:31 +02:00
fonts	Use FiraSans regular for UI	2021-05-27 13:49:33 +02:00
plugins	Fix problem with treeview keeping the editor busy	2021-10-21 23:18:31 +02:00