use the theme manager dialog to provide control over flat button option, and turn...
authorPaul Davis <paul@linuxaudiosystems.com>
Tue, 22 May 2012 16:36:59 +0000 (16:36 +0000)
committerPaul Davis <paul@linuxaudiosystems.com>
Tue, 22 May 2012 16:36:59 +0000 (16:36 +0000)
commit930f9a34c1bd1015a6937ca975023155f788bc50
treee3c89cf4a415e239e852975284bbcfcd6920f212
parent528abdeaa4599e12e22c4d49cdb4c0c2cd35c805
use the theme manager dialog to provide control over flat button option, and turn it off by default

git-svn-id: svn://localhost/ardour2/branches/3.0@12382 d708f5d6-7413-0410-9779-e7cbd77b26cf
gtk2_ardour/ardour_button.cc
gtk2_ardour/theme_manager.cc
gtk2_ardour/theme_manager.h
gtk2_ardour/ui_config_vars.h