660661662663664665666667668669670
label.setEnabled(false); if(game != null) { label.addListener(SWT.MouseUp,new Listener() { public void handleEvent(Event event) { proxy.execute(game,gameEx); } }); } else { label.setToolTipText("Game not installed: " + label.getToolTipText()); } }
983984985986987988989990991992993
if (game != null) { label.addListener(SWT.MouseUp, new Listener() { public void handleEvent(Event event) { //System.out.println("mouseup"); proxy.execute(game, gameEx); } }); label.setFocus(); } else { label.setToolTipText("Game not installed: "