add open-gui-after-adding-plugin option to preferences
authorRobin Gareus <robin@gareus.org>
Tue, 8 Dec 2015 14:20:46 +0000 (15:20 +0100)
committerRobin Gareus <robin@gareus.org>
Tue, 8 Dec 2015 14:29:24 +0000 (15:29 +0100)
commit17806b8cbb4ed4493ac78764247591350bdcb259
tree3502f8589e70bd95d19ec9fdf4f994d9c49ee5aa
parent1c8ad40339e640cd08a84cae0946acb88b0b1b78
add open-gui-after-adding-plugin option to preferences
gtk2_ardour/rc_option_editor.cc