Improve plugin manager dialog.
Showing
- include/gepetto/gui/dialog/pluginmanagerdialog.hh 8 additions, 3 deletionsinclude/gepetto/gui/dialog/pluginmanagerdialog.hh
- include/gepetto/gui/settings.hh 1 addition, 1 deletioninclude/gepetto/gui/settings.hh
- include/gepetto/gui/ui/pluginmanagerdialog.ui 41 additions, 10 deletionsinclude/gepetto/gui/ui/pluginmanagerdialog.ui
- src/gui/dialog/pluginmanagerdialog.cc 83 additions, 35 deletionssrc/gui/dialog/pluginmanagerdialog.cc
- src/gui/settings.cc 4 additions, 2 deletionssrc/gui/settings.cc
Please register or sign in to comment