Right now focus/unfocus border highlighting isn't smooth because we have a real delay between unfocus() and focus().
A good idea might be to only schedule removing the border on unfocus(), and really do it on changelover in focus(). Maybe the order should also be to paint the new border and only then unpaint the old one.
Right now focus/unfocus border highlighting isn't smooth because we have a real delay between unfocus() and focus().
A good idea might be to only schedule removing the border on unfocus(), and really do it on changelover in focus(). Maybe the order should also be to paint the new border and only then unpaint the old one.