0000353: Graphical selection

This commit is contained in:
wmayer
2012-04-28 17:49:49 +02:00
parent 4f31e167c7
commit 2c54c3cedc
5 changed files with 78 additions and 4 deletions

View File

@@ -132,7 +132,7 @@ Gui::MenuItem* Workbench::setupMenuBar() const
edit->setCommand("&Edit");
*edit << "Std_Undo" << "Std_Redo" << "Separator" << "Std_Cut" << "Std_Copy"
<< "Std_Paste" << "Std_DuplicateSelection" << "Separator"
<< "Std_Refresh" << "Std_SelectAll" << "Std_Delete"
<< "Std_Refresh" << "Std_BoxSelection" << "Std_SelectAll" << "Std_Delete"
<< "Std_Placement" << "Std_Alignment"
<< "Separator" << "Std_DlgPreferences";