Fix 1368904: disable the timebar instead of hiding it when switching to tools that...
[synfig.git] / gtkmm-osx /
drwxr-xr-x   ..
drwxr-xr-x - trunk