session prefs editor gets renamed as session properties
commitb7edb0510e78b8bf32cf765a1e5090a547dda8a4
authorpaul <paul@d708f5d6-7413-0410-9779-e7cbd77b26cf>
Thu, 3 Jun 2010 17:09:28 +0000 (3 17:09 +0000)
committerpaul <paul@d708f5d6-7413-0410-9779-e7cbd77b26cf>
Thu, 3 Jun 2010 17:09:28 +0000 (3 17:09 +0000)
treef8cd03e34f2d7e79a63b45126fc618e29d47b19f
parent2700b616bd2e8f188d991c1446720488a1aafdf2
session prefs editor gets renamed as session properties

git-svn-id: http://subversion.ardour.org/svn/ardour2/ardour2/branches/3.0@7223 d708f5d6-7413-0410-9779-e7cbd77b26cf
gtk2_ardour/ardour_ui_ed.cc
gtk2_ardour/session_option_editor.cc