私は、テキスト エディター (基本的にはメモ帳) を作成するプロジェクトに取り組んでおりSwing
、行番号に問題が発生しました。私はJavaにかなり慣れていないと言わざるを得ませんが、それを変えるために最善を尽くしています!
私が使用している行番号を処理するクラスの下にありますJEditorPane
。しかし、行番号に別の数字を追加するたびに、約 10 行のテキストに対して重複した区切り線が表示されます。どうすればこれを防ぐことができますか。
また、「長い行マーカー」を追加するにはどうすればよいですか'm'
。左から約 100 文字の位置に別の線を引くだけです。
これはクラスです:
/**
* Part of the source code got from here:
* developer.com/java/other/article.php/3318421/Add-Line-Numbering-in-the-JEditorPane.htm
*
* About the Author Stanislav Lapitsky is an offshore software developer and
* consultant with more than 7 years of programming experience. His area of
* knowledge includes java based technologies and RDBMS.
*
*/
package MainGUI;
/**
*
* @author mrbigheart
*/
import java.awt.*;
import javax.swing.*;
import javax.swing.text.*;
public class LineNumbers {
// private default constructor
private LineNumbers() {
}
// private constructor
private LineNumbers(JEditorPane edit) {
edit.setEditorKit(new NumberedEditorKit());
}
// static factory
public static LineNumbers valueOf(JEditorPane edit) {
return new LineNumbers(edit);
}
}
class NumberedEditorKit extends StyledEditorKit {
@Override
public ViewFactory getViewFactory() {
return new NumberedViewFactory();
}
}
class NumberedViewFactory implements ViewFactory {
@Override
public View create(Element elem) {
String kind = elem.getName();
if (kind != null) {
switch (kind) {
case AbstractDocument.ContentElementName:
return new LabelView(elem);
case AbstractDocument.ParagraphElementName:
// return new ParagraphView(elem);
return new NumberedParagraphView(elem);
case AbstractDocument.SectionElementName:
return new BoxView(elem, View.Y_AXIS);
case StyleConstants.ComponentElementName:
return new ComponentView(elem);
case StyleConstants.IconElementName:
return new IconView(elem);
}
}
// default to text display
return new LabelView(elem);
}
}
final class NumberedParagraphView extends ParagraphView {
public static short NUMBERS_WIDTH = 30;
public NumberedParagraphView(Element e) {
super(e);
short top = 7;
short left = 0;
short bottom = 0;
short right = 0;
this.setInsets(top, left, bottom, right);
}
// indent for the JEditorPane
@Override
protected void setInsets(short top, short left, short bottom,
short right) {
super.setInsets(top, (short) (left + NUMBERS_WIDTH + 5),
bottom, right);
}
@Override
public void paintChild(Graphics g, Rectangle r, int n) {
super.paintChild(g, r, n);
View parent = this.getParent();
int previousLineCount = getPreviousLineCount();
int numberX = r.x - getLeftInset();
int numberY = r.y + r.height - 5;
// Update sizes when number of digits in the line number changes
int lines = getPreviousLineCount();
int digits = Math.max(String.valueOf(lines).length(), 2);
FontMetrics fontMetrics = g.getFontMetrics();
//get the width of a zero character times the number of digits
int width = (fontMetrics.charWidth('0') * digits) + numberX + 7;
// update NUMBERS_WIDTH with the new width
NUMBERS_WIDTH = (short)width;
// line numbers rectangle (x, y, width, height)
g.drawRect(0, 0, width, parent.getContainer().getHeight());
g.setColor(Color.YELLOW);
g.drawString(Integer.toString(previousLineCount + n + 1),
numberX, numberY);
}
public int getPreviousLineCount() {
int lineCount = 0;
View parent = this.getParent();
int count = parent.getViewCount();
for (int i = 0; i < count; i++) {
if (parent.getView(i) == this) {
break;
} else {
lineCount += parent.getView(i).getViewCount();
}
}
return lineCount;
}
}
前もって感謝します!