gtk3: fix device change detection
authorAndrew Chadwick <andrewc-git@piffle.org>
Thu, 21 Mar 2013 00:01:58 +0000 (00:01 +0000)
committerAndrew Chadwick <andrewc-git@piffle.org>
Thu, 21 Mar 2013 00:06:05 +0000 (00:06 +0000)
commit71de5caace85a64cc09a6a706450c9bd213f7b3d
treef582fe76c4cae3885872f57577dd2e58dbe4d40c
parente593eab0f652992031717e0a8852244107db9fa3
gtk3: fix device change detection
gui/brushselectionwindow.py
gui/canvasevent.py