GLUI: inst editor: display sample short name (instead full path)
authorStefan Westerfeld <stefan@space.twc.de>
Tue, 18 Dec 2018 14:01:35 +0000 (15:01 +0100)
committerStefan Westerfeld <stefan@space.twc.de>
Tue, 18 Dec 2018 14:01:35 +0000 (15:01 +0100)
commitc366df42d16dff165fd1c0e26cde23ba76338a04
tree0a5714c8bcea23751adcf9a61ab213207b81fe13
parentd3b89cf35cb848e4a6a31aab54544d43b918df8f
GLUI: inst editor: display sample short name (instead full path)

Signed-off-by: Stefan Westerfeld <stefan@space.twc.de>
glui/sminsteditwindow.hh