new font/dpi scaler in Windows -> Preferences -> Misc
authorPaul Davis <paul@linuxaudiosystems.com>
Fri, 22 Feb 2008 05:06:39 +0000 (05:06 +0000)
committerPaul Davis <paul@linuxaudiosystems.com>
Fri, 22 Feb 2008 05:06:39 +0000 (05:06 +0000)
commit61729b640cb9073eb8802fcb0a234aab14b19483
tree93533c8e8a306798d9cd13a3c54fb315f868de51
parenteeaee1ff41577ffb0e6ed65d776efbd76e7fb37d
new font/dpi scaler in Windows -> Preferences -> Misc

git-svn-id: svn://localhost/ardour2/branches/2.0-ongoing@3109 d708f5d6-7413-0410-9779-e7cbd77b26cf
gtk2_ardour/option_editor.cc