Searched refs:initBrowser (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/isabelle/lib/browser/GraphBrowser/
H A DConsole.java46 public void initBrowser(InputStream is) { method in class:Console
72 console.initBrowser(is);
H A DGraphBrowser.java127 public void initBrowser(InputStream is, boolean noAWT) { method in class:GraphBrowser
176 initBrowser(is, false);
191 gb.initBrowser(is, args.length > 1);
H A DGraphBrowserFrame.java53 gb2.initBrowser(is, false);
/seL4-l4v-master/l4v/isabelle/lib/browser/GraphBrowser/
H A DConsole.java46 public void initBrowser(InputStream is) { method in class:Console
72 console.initBrowser(is);
H A DGraphBrowser.java127 public void initBrowser(InputStream is, boolean noAWT) { method in class:GraphBrowser
176 initBrowser(is, false);
191 gb.initBrowser(is, args.length > 1);
H A DGraphBrowserFrame.java53 gb2.initBrowser(is, false);

Completed in 34 milliseconds