Show the name of the current tool in the tool options panel if it has any options...
tree5bb4209c7d90b3f17317a1885f2bd8cbb3718869
-rw-r--r-- 3741 .gitignore
-rw-r--r-- 1453 .valgrind
drwxr-xr-x - ETL
drwxr-xr-x - autobuild
drwxr-xr-x - gtkmm-osx
drwxr-xr-x - synfig-core
drwxr-xr-x - synfig-docs
drwxr-xr-x - synfig-osx
drwxr-xr-x - synfig-studio