/**
* Delete the line where the cursor is positioned.
*/
public void deleteCurrentLine() {
// ab^EndPos: so EndPos is 3, there are 2 characters a, b, ^ is the flag
// of end of the document.
int length = getDocument().getLength();
if (length <= 0) { return; }
Element root = getDocument().getDefaultRootElement();
int pos = getCaretPosition();
int lineNumber = root.getElementIndex(pos); // 取得光標所在行的行號
Element e = root.getElement(lineNumber);
int start = e.getStartOffset();
int end = e.getEndOffset(); // 取得所在行最后回車的下一個位置, 有可能是文檔結束位置
if (end == root.getEndOffset()) {
// 如果是文檔結束，則刪除前一行的回車，且跳到文檔結束的前一位置，其為行的有效位置
start = Math.max(0, start - 1); // 刪除前一行最后的回車
end--;
}
try {
getDocument().remove(start, end - start);
// 設置光標在所在行的首行
lineNumber = root.getElementIndex(start);
e = root.getElement(lineNumber);
start = e.getStartOffset();
setCaretPosition(start);
} catch (BadLocationException e2) {
e2.printStackTrace();
}
/*
start = Math.max(0, start - 1); // 刪除前一行最后的回車
end = Math.min(end, root.getEndOffset() - 1); //
// 最后一行的時候，要往前跳一個位置跳過文檔結束符
// System.out.println("Start:" + start + ", End: " + end);
if (start == 0) {
getDocument().remove(start, end - start); // 第一行的時候，要把第一行尾的回車刪除
} else if (end + 1 == root.getEndOffset()) {
getDocument().remove(start, end - start);
// 最后一行時，刪除后設置光標到行的最前面
pos = root.getElement(root.getElementIndex(start)).getStartOffset();
setCaretPosition(pos);
} else {
getDocument().remove(start, end - start - 1); // 刪除前一行的回車，留這一行的回車
setCaretPosition(start + 1); // 設置光標在下一行的首行
}*/
}