50 |
import java.io.Writer; |
import java.io.Writer; |
51 |
|
|
52 |
import javax.swing.Action; |
import javax.swing.Action; |
|
import javax.swing.JEditorPane; |
|
53 |
|
|
54 |
public class DefaultEditorKit extends EditorKit |
public class DefaultEditorKit extends EditorKit |
55 |
{ |
{ |
335 |
}, |
}, |
336 |
}; |
}; |
337 |
|
|
|
/** |
|
|
* Called when the kit is being removed from the JEditorPane. |
|
|
*/ |
|
|
public void deinstall(JEditorPane c) |
|
|
{ |
|
|
} |
|
|
|
|
|
public void install(JEditorPane c) |
|
|
{ |
|
|
} |
|
|
|
|
338 |
public Caret createCaret() |
public Caret createCaret() |
339 |
{ |
{ |
340 |
return new DefaultCaret(); |
return new DefaultCaret(); |