Code

Extensions. General UI improvements (gnome HIG). New group header extension parameter.
authorJazzyNico <nicoduf@yahoo.fr>
Tue, 7 Sep 2010 21:11:53 +0000 (23:11 +0200)
committerJazzyNico <nicoduf@yahoo.fr>
Tue, 7 Sep 2010 21:11:53 +0000 (23:11 +0200)
commit75f37a9204e1316d4884ee3017cffc2bea6b10c5
tree356e52968dc3f9bbc137fb6fb1ce99d1ec8ba1cc
parentb0ff479e21f3788aae2d3fa74131da548d7b907b
Extensions. General UI improvements (gnome HIG). New group header extension parameter.
src/extension/Makefile_insert
src/extension/extension.cpp
src/extension/param/CMakeLists.txt
src/extension/param/bool.cpp
src/extension/param/description.cpp
src/extension/param/groupheader.cpp [new file with mode: 0755]
src/extension/param/groupheader.h [new file with mode: 0755]
src/extension/param/notebook.cpp
src/extension/param/parameter.cpp