Merge branch 'Ohne_Drag_and_Drop' of https://git.tk.informatik.tu-darmstadt.de/carlos.garcia/praktikum-holons into Ohne_Drag_and_Drop

src/ui/view/Console.java

@@ -77,6 +77,7 @@ public class Console extends JScrollPane {
 			public void mouseReleased(MouseEvent e) {
 				if (e.getButton() == e.BUTTON3) {
 					itemClear.setEnabled(!consoleText.getText().isEmpty());
+					itemCopy.setEnabled(consoleText.getSelectedText() != null);
 					popmenu.show(e.getComponent(), e.getX(), e.getY());
 				}
 			}