![]() |
Gridarta Editor
|
Synchronous page loader, loads a page and handles the cursor. More...
Public Member Functions | |
void | run () |
Private Member Functions | |
PageLoader (@NotNull final URL url, @NotNull final Cursor cursor) | |
Creates a new instance. More... | |
Private Attributes | |
final Cursor | cursor |
Original cursor that should be restored once the document is loaded. More... | |
URL | url |
URL to load. More... | |
Synchronous page loader, loads a page and handles the cursor.
Definition at line 182 of file HtmlPane.java.
|
private |
Creates a new instance.
url | the URL to load |
cursor | the cursor to restore once the document is loaded |
Definition at line 201 of file HtmlPane.java.
References net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.cursor, and net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.url.
void net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.run | ( | ) |
Definition at line 207 of file HtmlPane.java.
References net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.cursor, net.sf.gridarta.gui.dialog.help.HtmlPane.html, and net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.url.
|
private |
Original cursor that should be restored once the document is loaded.
Definition at line 194 of file HtmlPane.java.
Referenced by net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.PageLoader(), and net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.run().
|
private |
URL to load.
Definition at line 188 of file HtmlPane.java.
Referenced by net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.PageLoader(), and net.sf.gridarta.gui.dialog.help.HtmlPane.PageLoader.run().