1.1 --- a/src/java/isac/gui/WindowApplication.java	Tue May 03 19:01:22 2005 +0200
     1.2 +++ b/src/java/isac/gui/WindowApplication.java	Wed May 04 15:06:41 2005 +0200
     1.3 @@ -515,7 +515,13 @@
     1.4  				problemBrowserFrame.show();
     1.5  			}
     1.6  		} else if (e.getSource() == newWorksheetButton) {
     1.7 -			JOptionPane.showMessageDialog(this, "not yet implemented");
     1.8 +			//JOptionPane.showMessageDialog(this, "not yet implemented");
     1.9 +			try {
    1.10 +				this.openNewWorksheet(new Formalization(), DGuide.STARTFROM_NEW);
    1.11 +			} catch (RemoteException e1) {
    1.12 +				// TODO Auto-generated catch block
    1.13 +				e1.printStackTrace();
    1.14 +			}
    1.15  		} else if (e.getSource() == exampleBrowserButton) {
    1.16  			if (!exampleBrowserFrame.isVisible()) {
    1.17  				exampleBrowserFrame.setSize(300, 650);