| javax.swing.JEditorPane bluej.editor.moe.MoeEditorPane
MoeEditorPane | final public class MoeEditorPane extends JEditorPane (Code) | | MoeJEditorPane - a variation of JEditorPane for Moe. The preferred size
is adjusted to allow for the tag line.
author: Michael Kolling |
Constructor Summary | |
public | MoeEditorPane() Create an editor pane specifically for Moe. |
MoeEditorPane | public MoeEditorPane()(Code) | | Create an editor pane specifically for Moe.
|
getPreferredSize | public Dimension getPreferredSize()(Code) | | Adjust this pane's preferred size to add the tag area.
|
scrollRectToVisible | public void scrollRectToVisible(Rectangle rect)(Code) | | Make sure, when we are scrolling to follow the caret,
that we can see the tag area as well.
|
|
|