6 * + scrolling *one* panel |
6 * + scrolling *one* panel |
7 */ |
7 */ |
8 |
8 |
9 package isabelle.jedit |
9 package isabelle.jedit |
10 |
10 |
11 import java.io.{ ByteArrayInputStream, FileInputStream, InputStream } |
|
12 |
|
13 import scala.collection.mutable.ArrayBuffer |
11 import scala.collection.mutable.ArrayBuffer |
14 |
12 |
15 import java.awt.{ BorderLayout, GridLayout, Adjustable, Rectangle, Scrollbar } |
13 import java.awt.{ BorderLayout, Adjustable } |
16 import java.awt.image.BufferedImage |
|
17 import java.awt.event.{ ActionListener, ActionEvent, AdjustmentListener, AdjustmentEvent, ComponentListener, ComponentEvent } |
14 import java.awt.event.{ ActionListener, ActionEvent, AdjustmentListener, AdjustmentEvent, ComponentListener, ComponentEvent } |
18 import javax.swing.{ JPanel, JRadioButton, JScrollBar, JScrollPane, JTextArea, ScrollPaneConstants, Timer } |
15 import javax.swing.{ JPanel, JRadioButton, JScrollBar, JTextArea, Timer } |
19 |
|
20 import isabelle.IsabelleSystem.getenv |
|
21 |
|
22 import org.xml.sax.InputSource; |
|
23 |
16 |
24 import org.w3c.dom.Document |
17 import org.w3c.dom.Document |
25 |
18 |
26 import org.xhtmlrenderer.simple.XHTMLPanel |
19 import org.xhtmlrenderer.simple.XHTMLPanel |
27 import org.xhtmlrenderer.context.AWTFontResolver |
20 import org.xhtmlrenderer.context.AWTFontResolver |
28 import org.xhtmlrenderer.swing.NaiveUserAgent |
|
29 import org.xhtmlrenderer.resource.CSSResource |
|
30 |
21 |
31 import org.gjt.sp.jedit.View |
22 import org.gjt.sp.jedit.View |
32 |
23 |
33 class ScrollerDockable(view : View, position : String) extends JPanel with AdjustmentListener with ComponentListener { |
24 class ScrollerDockable(view : View, position : String) extends JPanel with AdjustmentListener with ComponentListener { |
34 //holding the unrendered messages |
25 //holding the unrendered messages |