no tree shrink to avoid horizontal scrolling when main panel requires more space
authorJean-Philippe Orsini <jeanfi@gmail.com>
Sat, 26 Apr 2014 11:01:34 +0000 (13:01 +0200)
committerJean-Philippe Orsini <jeanfi@gmail.com>
Sat, 26 Apr 2014 11:01:34 +0000 (13:01 +0200)
commitcad580ad96c9a6b752829136bf743bf85d907d00
tree26fd8a6cbdfb288a3a7d86b0c59c889158fb8164
parentf50a984666913a2a91b58a45b1a8f222ff776d35
no tree shrink to avoid horizontal scrolling when main panel requires more space
src/glade/sensor-edit.glade