add editor to Theme Manager for modifiers
authorPaul Davis <paul@linuxaudiosystems.com>
Mon, 15 Dec 2014 17:07:05 +0000 (12:07 -0500)
committerPaul Davis <paul@linuxaudiosystems.com>
Mon, 15 Dec 2014 17:07:05 +0000 (12:07 -0500)
commit8b230014412b90b78240685b16a8d4e624cc5ce6
treef92812ffac4910ee758be52c0accccfd8916de39
parent9831006c8ee1b09d8d025e8aa85d8016d53c81c3
add editor to Theme Manager for modifiers
gtk2_ardour/theme_manager.cc
gtk2_ardour/theme_manager.h
gtk2_ardour/ui_config.cc
gtk2_ardour/ui_config.h