From: <fd...@us...> - 2008-02-15 19:50:09
|
Revision: 3798 http://jnode.svn.sourceforge.net/jnode/?rev=3798&view=rev Author: fduminy Date: 2008-02-15 11:50:04 -0800 (Fri, 15 Feb 2008) Log Message: ----------- added override annotation Modified Paths: -------------- trunk/gui/src/driver/org/jnode/driver/console/swing/SwingTextScreenConsoleManager.java Modified: trunk/gui/src/driver/org/jnode/driver/console/swing/SwingTextScreenConsoleManager.java =================================================================== --- trunk/gui/src/driver/org/jnode/driver/console/swing/SwingTextScreenConsoleManager.java 2008-02-15 12:51:17 UTC (rev 3797) +++ trunk/gui/src/driver/org/jnode/driver/console/swing/SwingTextScreenConsoleManager.java 2008-02-15 19:50:04 UTC (rev 3798) @@ -27,6 +27,7 @@ } + @Override protected void openInput(DeviceManager devMan) { AccessController.doPrivileged(new PrivilegedAction<Void>() { public Void run() { @@ -56,6 +57,7 @@ }); } + @Override public void unregisterConsole(Console console) { super.unregisterConsole(console); if(getFocus() == null) @@ -67,6 +69,7 @@ }); } + @Override protected SwingTextScreenManager getTextScreenManager() { if(textScreenManager == null){ this.textScreenManager = new SwingTextScreenManager(); This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |