ironed out several problems with text editor

This commit is contained in:
benfry
2002-11-18 21:48:14 +00:00
parent 49566de9fc
commit 8a1f6e53bb
6 changed files with 234 additions and 79 deletions

View File

@@ -33,7 +33,7 @@ import java.util.*;
//public class PdeEditorTextPane extends JPanel {
public class PdeEditorTextPane extends JTextPane {
protected JTextPane textPane;
// MAYBE? protected JTextPane textPane;
// styled document that is the model for the textPane
public HighLightedDocument document; // pdebase needs it for undo
@@ -65,7 +65,7 @@ public class PdeEditorTextPane extends JTextPane {
//textPane = new JTextPane(document);
setStyledDocument(document);
textPane = this;
// MAYBE? textPane = this;
//setDoubleBuffered(true);
@@ -110,7 +110,9 @@ public class PdeEditorTextPane extends JTextPane {
// Start the thread that does the coloring
colorer = new Colorer();
colorer.start();
if (PdeBase.getBoolean("editor.syntax_coloring", false)) {
colorer.start();
}
// Set up the hash table that contains the styles.
//initStyles();