comparison deploy/linux/control.example @ 739:1192963e2d83

Fix #1024 - avoid status bar repainting all its siblings when its message changes (and it resizes) by using a widget in the status bar for the label instead of the bar itself.
author Chris Cannam
date Wed, 02 Jul 2014 15:09:51 +0100
parents 5ddf310f61c1
children dac686f8efb8
comparison
equal deleted inserted replaced
738:5ebce191aa04 739:1192963e2d83