*
* The MIT License (MIT)
*
- * Copyright (C) 2017 Kevin Lamonte
+ * Copyright (C) 2019 Kevin Lamonte
*
* Permission is hereby granted, free of charge, to any person obtaining a
* copy of this software and associated documentation files (the "Software"),
import java.io.IOException;
import jexer.bits.CellAttributes;
+import jexer.event.TCommandEvent;
import jexer.event.TKeypressEvent;
import jexer.event.TMouseEvent;
import jexer.event.TResizeEvent;
import jexer.teditor.Document;
import jexer.teditor.Line;
import jexer.teditor.Word;
+import static jexer.TCommand.*;
import static jexer.TKeypress.*;
/**
* TEditorWidget displays an editable text document. It is unaware of
* scrolling behavior, but can respond to mouse and keyboard events.
*/
-public class TEditorWidget extends TWidget {
+public class TEditorWidget extends TWidget implements EditMenuUser {
+
+ // ------------------------------------------------------------------------
+ // Constants --------------------------------------------------------------
+ // ------------------------------------------------------------------------
/**
* The number of lines to scroll on mouse wheel up/down.
*/
private static final int wheelScrollSize = 3;
+ // ------------------------------------------------------------------------
+ // Variables --------------------------------------------------------------
+ // ------------------------------------------------------------------------
+
/**
* The document being edited.
*/
*/
private int leftColumn = 0;
+ /**
+ * If true, selection is a rectangle.
+ */
+ private boolean selectionRectangle = false;
+
+ /**
+ * If true, the mouse is dragging a selection.
+ */
+ private boolean inSelection = false;
+
+ /**
+ * Selection starting column.
+ */
+ private int selectionColumn0;
+
+ /**
+ * Selection starting line.
+ */
+ private int selectionLine0;
+
+ /**
+ * Selection ending column.
+ */
+ private int selectionColumn1;
+
+ /**
+ * Selection ending line.
+ */
+ private int selectionLine1;
+
+ // ------------------------------------------------------------------------
+ // Constructors -----------------------------------------------------------
+ // ------------------------------------------------------------------------
+
/**
* Public constructor.
*
document = new Document(text, defaultColor);
}
- /**
- * Draw the text box.
- */
- @Override
- public void draw() {
- for (int i = 0; i < getHeight(); i++) {
- // Background line
- getScreen().hLineXY(0, i, getWidth(), ' ', defaultColor);
-
- // Now draw document's line
- if (topLine + i < document.getLineCount()) {
- Line line = document.getLine(topLine + i);
- int x = 0;
- for (Word word: line.getWords()) {
- // For now, we are cheating: draw outside the left region
- // if needed and let screen do the clipping.
- getScreen().putStringXY(x - leftColumn, i, word.getText(),
- word.getColor());
- x += word.getDisplayLength();
- if (x - leftColumn > getWidth()) {
- break;
- }
- }
- }
- }
- }
+ // ------------------------------------------------------------------------
+ // Event handlers ---------------------------------------------------------
+ // ------------------------------------------------------------------------
/**
* Handle mouse press events.
}
if (mouse.isMouse1()) {
+ // Selection.
+ if (inSelection) {
+ selectionColumn1 = leftColumn + mouse.getX();
+ selectionLine1 = topLine + mouse.getY();
+ } else if (mouse.isShift() || mouse.isCtrl()) {
+ inSelection = true;
+ selectionColumn0 = leftColumn + mouse.getX();
+ selectionLine0 = topLine + mouse.getY();
+ selectionColumn1 = selectionColumn0;
+ selectionLine1 = selectionLine0;
+ selectionRectangle = mouse.isAlt() | mouse.isCtrl();
+ }
+
// Set the row and column
int newLine = topLine + mouse.getY();
int newX = leftColumn + mouse.getX();
setCursorY(mouse.getY());
}
alignCursor();
+ if (inSelection) {
+ selectionColumn1 = document.getCursor();
+ selectionLine1 = document.getLineNumber();
+ selectionRectangle = mouse.isCtrl();
+ }
return;
}
document.setCursor(newX);
setCursorX(mouse.getX());
}
+ if (inSelection) {
+ selectionColumn1 = document.getCursor();
+ selectionLine1 = document.getLineNumber();
+ selectionRectangle = mouse.isCtrl();
+ }
return;
+ } else {
+ inSelection = false;
}
// Pass to children
}
/**
- * Align visible area with document current line.
+ * Handle mouse motion events.
*
- * @param topLineIsTop if true, make the top visible line the document
- * current line if it was off-screen. If false, make the bottom visible
- * line the document current line.
+ * @param mouse mouse motion event
*/
- private void alignTopLine(final boolean topLineIsTop) {
- int line = document.getLineNumber();
+ @Override
+ public void onMouseMotion(final TMouseEvent mouse) {
- if ((line < topLine) || (line > topLine + getHeight() - 1)) {
- // Need to move topLine to bring document back into view.
- if (topLineIsTop) {
- topLine = line - (getHeight() - 1);
- if (topLine < 0) {
- topLine = 0;
- }
- assert (topLine >= 0);
- } else {
- topLine = line;
- assert (topLine >= 0);
+ if (mouse.isMouse1()) {
+ // Selection.
+ if (inSelection) {
+ selectionColumn1 = leftColumn + mouse.getX();
+ selectionLine1 = topLine + mouse.getY();
+ } else if (mouse.isShift() || mouse.isCtrl()) {
+ inSelection = true;
+ selectionColumn0 = leftColumn + mouse.getX();
+ selectionLine0 = topLine + mouse.getY();
+ selectionColumn1 = selectionColumn0;
+ selectionLine1 = selectionLine0;
+ selectionRectangle = mouse.isAlt() | mouse.isCtrl();
}
- }
-
- /*
- System.err.println("line " + line + " topLine " + topLine);
- */
-
- // Document is in view, let's set cursorY
- assert (line >= topLine);
- setCursorY(line - topLine);
- alignCursor();
- }
- /**
- * Align document current line with visible area.
- *
- * @param topLineIsTop if true, make the top visible line the document
- * current line if it was off-screen. If false, make the bottom visible
- * line the document current line.
- */
- private void alignDocument(final boolean topLineIsTop) {
- int line = document.getLineNumber();
- int cursor = document.getCursor();
+ // Set the row and column
+ int newLine = topLine + mouse.getY();
+ int newX = leftColumn + mouse.getX();
+ if (newLine > document.getLineCount() - 1) {
+ // Go to the end
+ document.setLineNumber(document.getLineCount() - 1);
+ document.end();
+ if (newLine > document.getLineCount() - 1) {
+ setCursorY(document.getLineCount() - 1 - topLine);
+ } else {
+ setCursorY(mouse.getY());
+ }
+ alignCursor();
+ if (inSelection) {
+ selectionColumn1 = document.getCursor();
+ selectionLine1 = document.getLineNumber();
+ selectionRectangle = mouse.isCtrl();
+ }
+ return;
+ }
- if ((line < topLine) || (line > topLine + getHeight() - 1)) {
- // Need to move document to ensure it fits view.
- if (topLineIsTop) {
- document.setLineNumber(topLine);
+ document.setLineNumber(newLine);
+ setCursorY(mouse.getY());
+ if (newX >= document.getCurrentLine().getDisplayLength()) {
+ document.end();
+ alignCursor();
} else {
- document.setLineNumber(topLine + (getHeight() - 1));
+ document.setCursor(newX);
+ setCursorX(mouse.getX());
}
- if (cursor < document.getCurrentLine().getDisplayLength()) {
- document.setCursor(cursor);
+ if (inSelection) {
+ selectionColumn1 = document.getCursor();
+ selectionLine1 = document.getLineNumber();
+ selectionRectangle = mouse.isCtrl();
}
+ return;
+ } else {
+ inSelection = false;
}
- /*
- System.err.println("getLineNumber() " + document.getLineNumber() +
- " topLine " + topLine);
- */
-
- // Document is in view, let's set cursorY
- setCursorY(document.getLineNumber() - topLine);
- alignCursor();
+ // Pass to children
+ super.onMouseDown(mouse);
}
/**
- * Align visible cursor with document cursor.
+ * Handle mouse release events.
+ *
+ * @param mouse mouse button release event
*/
- private void alignCursor() {
- int width = getWidth();
-
- int desiredX = document.getCursor() - leftColumn;
- if (desiredX < 0) {
- // We need to push the screen to the left.
- leftColumn = document.getCursor();
- } else if (desiredX > width - 1) {
- // We need to push the screen to the right.
- leftColumn = document.getCursor() - (width - 1);
- }
-
- /*
- System.err.println("document cursor " + document.getCursor() +
- " leftColumn " + leftColumn);
- */
-
+ @Override
+ public void onMouseUp(final TMouseEvent mouse) {
+ inSelection = false;
- setCursorX(document.getCursor() - leftColumn);
+ // Pass to children
+ super.onMouseDown(mouse);
}
/**
*/
@Override
public void onKeypress(final TKeypressEvent keypress) {
- if (keypress.equals(kbLeft)) {
+ if (keypress.getKey().isShift() || keypress.getKey().isCtrl()) {
+ // Selection.
+ if (!inSelection) {
+ inSelection = true;
+ selectionColumn0 = document.getCursor();
+ selectionLine0 = document.getLineNumber();
+ selectionColumn1 = selectionColumn0;
+ selectionLine1 = selectionLine0;
+ selectionRectangle = keypress.getKey().isCtrl();
+ }
+ } else {
+ inSelection = false;
+ }
+
+ if (keypress.equals(kbLeft)
+ || keypress.equals(kbShiftLeft)
+ ) {
document.left();
alignTopLine(false);
- } else if (keypress.equals(kbRight)) {
+ } else if (keypress.equals(kbRight)
+ || keypress.equals(kbShiftRight)
+ ) {
document.right();
alignTopLine(true);
- } else if (keypress.equals(kbUp)) {
+ } else if (keypress.equals(kbAltLeft)
+ || keypress.equals(kbCtrlLeft)
+ ) {
+ document.backwardsWord();
+ alignTopLine(false);
+ } else if (keypress.equals(kbAltRight)
+ || keypress.equals(kbCtrlRight)
+ ) {
+ document.forwardsWord();
+ alignTopLine(true);
+ } else if (keypress.equals(kbUp)
+ || keypress.equals(kbShiftUp)
+ ) {
document.up();
alignTopLine(false);
- } else if (keypress.equals(kbDown)) {
+ } else if (keypress.equals(kbDown)
+ || keypress.equals(kbShiftDown)
+ ) {
document.down();
alignTopLine(true);
} else if (keypress.equals(kbPgUp)) {
} else if (keypress.equals(kbDel)) {
document.del();
alignCursor();
- } else if (keypress.equals(kbBackspace)) {
+ } else if (keypress.equals(kbBackspace)
+ || keypress.equals(kbBackspaceDel)
+ ) {
document.backspace();
alignTopLine(false);
} else if (keypress.equals(kbTab)) {
- // TODO: tab character. For now just add spaces until we hit
- // modulo 8.
+ // Add spaces until we hit modulo 8.
for (int i = document.getCursor(); (i + 1) % 8 != 0; i++) {
document.addChar(' ');
}
// Pass other keys (tab etc.) on to TWidget
super.onKeypress(keypress);
}
+
+ if (inSelection) {
+ selectionColumn1 = document.getCursor();
+ selectionLine1 = document.getLineNumber();
+ selectionRectangle = keypress.getKey().isCtrl();
+ }
}
/**
}
}
+ /**
+ * Handle posted command events.
+ *
+ * @param command command event
+ */
+ @Override
+ public void onCommand(final TCommandEvent command) {
+ if (command.equals(cmCut)) {
+ // Copy text to clipboard, and then remove it.
+
+ // TODO
+
+ deleteSelection();
+ return;
+ }
+
+ if (command.equals(cmCopy)) {
+ // Copy text to clipboard.
+
+ // TODO
+
+ return;
+ }
+
+ if (command.equals(cmPaste)) {
+ // Delete selected text, then paste text from clipboard.
+ deleteSelection();
+
+ String text = getClipboard().pasteText();
+ if (text != null) {
+ for (int i = 0; i < text.length(); ) {
+ int ch = text.codePointAt(i);
+ onKeypress(new TKeypressEvent(false, 0, ch, false, false,
+ false));
+ i += Character.charCount(ch);
+ }
+ }
+ return;
+ }
+
+ if (command.equals(cmClear)) {
+ // Remove text.
+ deleteSelection();
+ return;
+ }
+
+ }
+
+ // ------------------------------------------------------------------------
+ // TWidget ----------------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Draw the text box.
+ */
+ @Override
+ public void draw() {
+ for (int i = 0; i < getHeight(); i++) {
+ // Background line
+ getScreen().hLineXY(0, i, getWidth(), ' ', defaultColor);
+
+ // Now draw document's line
+ if (topLine + i < document.getLineCount()) {
+ Line line = document.getLine(topLine + i);
+ int x = 0;
+ for (Word word: line.getWords()) {
+ // For now, we are cheating: draw outside the left region
+ // if needed and let screen do the clipping.
+ getScreen().putStringXY(x - leftColumn, i, word.getText(),
+ word.getColor());
+ x += word.getDisplayLength();
+ if (x - leftColumn > getWidth()) {
+ break;
+ }
+ }
+ }
+
+ // TODO: highlight selected region
+ }
+ }
+
+ // ------------------------------------------------------------------------
+ // TEditorWidget ----------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Align visible area with document current line.
+ *
+ * @param topLineIsTop if true, make the top visible line the document
+ * current line if it was off-screen. If false, make the bottom visible
+ * line the document current line.
+ */
+ private void alignTopLine(final boolean topLineIsTop) {
+ int line = document.getLineNumber();
+
+ if ((line < topLine) || (line > topLine + getHeight() - 1)) {
+ // Need to move topLine to bring document back into view.
+ if (topLineIsTop) {
+ topLine = line - (getHeight() - 1);
+ if (topLine < 0) {
+ topLine = 0;
+ }
+ assert (topLine >= 0);
+ } else {
+ topLine = line;
+ assert (topLine >= 0);
+ }
+ }
+
+ /*
+ System.err.println("line " + line + " topLine " + topLine);
+ */
+
+ // Document is in view, let's set cursorY
+ assert (line >= topLine);
+ setCursorY(line - topLine);
+ alignCursor();
+ }
+
+ /**
+ * Align document current line with visible area.
+ *
+ * @param topLineIsTop if true, make the top visible line the document
+ * current line if it was off-screen. If false, make the bottom visible
+ * line the document current line.
+ */
+ private void alignDocument(final boolean topLineIsTop) {
+ int line = document.getLineNumber();
+ int cursor = document.getCursor();
+
+ if ((line < topLine) || (line > topLine + getHeight() - 1)) {
+ // Need to move document to ensure it fits view.
+ if (topLineIsTop) {
+ document.setLineNumber(topLine);
+ } else {
+ document.setLineNumber(topLine + (getHeight() - 1));
+ }
+ if (cursor < document.getCurrentLine().getDisplayLength()) {
+ document.setCursor(cursor);
+ }
+ }
+
+ /*
+ System.err.println("getLineNumber() " + document.getLineNumber() +
+ " topLine " + topLine);
+ */
+
+ // Document is in view, let's set cursorY
+ setCursorY(document.getLineNumber() - topLine);
+ alignCursor();
+ }
+
+ /**
+ * Align visible cursor with document cursor.
+ */
+ private void alignCursor() {
+ int width = getWidth();
+
+ int desiredX = document.getCursor() - leftColumn;
+ if (desiredX < 0) {
+ // We need to push the screen to the left.
+ leftColumn = document.getCursor();
+ } else if (desiredX > width - 1) {
+ // We need to push the screen to the right.
+ leftColumn = document.getCursor() - (width - 1);
+ }
+
+ /*
+ System.err.println("document cursor " + document.getCursor() +
+ " leftColumn " + leftColumn);
+ */
+
+
+ setCursorX(document.getCursor() - leftColumn);
+ }
+
/**
* Get the number of lines in the underlying Document.
*
}
}
+ /**
+ * Set the current visible column number. 1-based.
+ *
+ * @return the visible column number. Column 1 is the first column.
+ */
+ public int getVisibleColumnNumber() {
+ return leftColumn + 1;
+ }
+
+ /**
+ * Set the current visible column number. 1-based.
+ *
+ * @param column the new visible column number. Column 1 is the first
+ * column.
+ */
+ public void setVisibleColumnNumber(final int column) {
+ assert (column > 0);
+ if ((column > 0) && (column < document.getLineLengthMax())) {
+ leftColumn = column - 1;
+ alignDocument(true);
+ }
+ }
+
/**
* Get the current editing column number. 1-based.
*
document.saveToFilename(filename);
}
+ /**
+ * Delete text within the selection bounds.
+ */
+ private void deleteSelection() {
+ if (inSelection == false) {
+ return;
+ }
+
+ // TODO
+ }
+
+ // ------------------------------------------------------------------------
+ // EditMenuUser -----------------------------------------------------------
+ // ------------------------------------------------------------------------
+
+ /**
+ * Check if the cut menu item should be enabled.
+ *
+ * @return true if the cut menu item should be enabled
+ */
+ public boolean isEditMenuCut() {
+ return true;
+ }
+
+ /**
+ * Check if the copy menu item should be enabled.
+ *
+ * @return true if the copy menu item should be enabled
+ */
+ public boolean isEditMenuCopy() {
+ return true;
+ }
+
+ /**
+ * Check if the paste menu item should be enabled.
+ *
+ * @return true if the paste menu item should be enabled
+ */
+ public boolean isEditMenuPaste() {
+ return true;
+ }
+
+ /**
+ * Check if the clear menu item should be enabled.
+ *
+ * @return true if the clear menu item should be enabled
+ */
+ public boolean isEditMenuClear() {
+ return true;
+ }
+
}