42434445464748
/** * @see org.jnode.plugin.Plugin#startPlugin() */ protected void startPlugin() throws PluginException { AccessController.doPrivileged(new SetPropertyAction("awt.toolkit", TOOLKIT)); }
262263264265266267268
} @Override public void run() { ((JNodeToolkit) Toolkit.getDefaultToolkit()).changeScreenSize(config); AccessController.doPrivileged(new SetPropertyAction("jnode.awt.screensize", config.toString())); }