QuickBrushChooser: update when groups change
authorAndrew Chadwick <andrewc-git@piffle.org>
Sun, 10 Nov 2013 23:57:46 +0000 (23:57 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Mon, 11 Nov 2013 00:08:23 +0000 (00:08 +0000)
commit38af957f8e8644c62711c13cdebbf995ec5fb7db
treea921ab42691bf381172e96dcf44540610563c4b6
parentd071f6483f118a165e3070597781ea15d9756f35
QuickBrushChooser: update when groups change

Minor related bugfixes: the spinbox wasn't being updated correctly when the
list of groups was changed. Fix and bring into use an untested/unused code
path exposed by this that was evidently intended to handle this case.
gui/dialogs.py
gui/spinbox.py