From: Kevin Lamonte Date: Sun, 3 Nov 2019 00:08:18 +0000 (-0500) Subject: stubs for editor copy/paste X-Git-Url: https://git.nikiroo.be/?a=commitdiff_plain;h=101bc589ae14b3258a0a09514e68a59bec2c3daa;p=fanfix-jexer.git stubs for editor copy/paste --- diff --git a/src/jexer/TEditorWidget.java b/src/jexer/TEditorWidget.java index a694533..dcd2fea 100644 --- a/src/jexer/TEditorWidget.java +++ b/src/jexer/TEditorWidget.java @@ -31,19 +31,21 @@ package jexer; 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 -------------------------------------------------------------- @@ -78,6 +80,36 @@ public class TEditorWidget extends TWidget { */ 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 ----------------------------------------------------------- // ------------------------------------------------------------------------ @@ -105,36 +137,9 @@ public class TEditorWidget extends TWidget { } // ------------------------------------------------------------------------ - // TWidget ---------------------------------------------------------------- + // Event handlers --------------------------------------------------------- // ------------------------------------------------------------------------ - /** - * 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; - } - } - } - } - } - /** * Handle mouse press events. * @@ -162,6 +167,85 @@ public class TEditorWidget extends TWidget { } 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(); + 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; + } + + document.setLineNumber(newLine); + setCursorY(mouse.getY()); + if (newX >= document.getCurrentLine().getDisplayLength()) { + document.end(); + alignCursor(); + } else { + document.setCursor(newX); + setCursorX(mouse.getX()); + } + if (inSelection) { + selectionColumn1 = document.getCursor(); + selectionLine1 = document.getLineNumber(); + selectionRectangle = mouse.isCtrl(); + } + return; + } else { + inSelection = false; + } + + // Pass to children + super.onMouseDown(mouse); + } + + /** + * Handle mouse motion events. + * + * @param mouse mouse motion event + */ + @Override + public void onMouseMotion(final TMouseEvent mouse) { + + 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(); @@ -175,6 +259,11 @@ public class TEditorWidget extends TWidget { setCursorY(mouse.getY()); } alignCursor(); + if (inSelection) { + selectionColumn1 = document.getCursor(); + selectionLine1 = document.getLineNumber(); + selectionRectangle = mouse.isCtrl(); + } return; } @@ -187,13 +276,33 @@ public class TEditorWidget extends TWidget { document.setCursor(newX); setCursorX(mouse.getX()); } + if (inSelection) { + selectionColumn1 = document.getCursor(); + selectionLine1 = document.getLineNumber(); + selectionRectangle = mouse.isCtrl(); + } return; + } else { + inSelection = false; } // Pass to children super.onMouseDown(mouse); } + /** + * Handle mouse release events. + * + * @param mouse mouse button release event + */ + @Override + public void onMouseUp(final TMouseEvent mouse) { + inSelection = false; + + // Pass to children + super.onMouseDown(mouse); + } + /** * Handle keystrokes. * @@ -201,10 +310,28 @@ public class TEditorWidget extends TWidget { */ @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(kbAltLeft) @@ -217,10 +344,14 @@ public class TEditorWidget extends TWidget { ) { document.forwardsWord(); alignTopLine(true); - } else if (keypress.equals(kbUp)) { + } 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)) { @@ -263,8 +394,7 @@ public class TEditorWidget extends TWidget { 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(' '); } @@ -283,6 +413,12 @@ public class TEditorWidget extends TWidget { // Pass other keys (tab etc.) on to TWidget super.onKeypress(keypress); } + + if (inSelection) { + selectionColumn1 = document.getCursor(); + selectionLine1 = document.getLineNumber(); + selectionRectangle = keypress.getKey().isCtrl(); + } } /** @@ -313,6 +449,87 @@ public class TEditorWidget extends TWidget { } } + /** + * 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 ---------------------------------------------------------- // ------------------------------------------------------------------------ @@ -543,4 +760,55 @@ public class TEditorWidget extends TWidget { 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; + } + } diff --git a/src/jexer/TTableWidget.java b/src/jexer/TTableWidget.java index 9b4d7c9..749b731 100644 --- a/src/jexer/TTableWidget.java +++ b/src/jexer/TTableWidget.java @@ -1426,8 +1426,6 @@ public class TTableWidget extends TWidget { for (int i = 0; i < list.size(); i++) { rows.get(selectedRow).get(i).setText(list.get(i)); } - - // TODO: detect header line } } finally { if (reader != null) { diff --git a/src/jexer/teditor/Word.java b/src/jexer/teditor/Word.java index eada29c..9a25d81 100644 --- a/src/jexer/teditor/Word.java +++ b/src/jexer/teditor/Word.java @@ -135,9 +135,6 @@ public class Word { * @return the number of cells needed to display this word */ public int getDisplayLength() { - // For now, just use the text length. In the future, this will be a - // grapheme count. - // TODO: figure out how to handle the tab character. Do we have a // global tab stops list and current word position? return StringUtils.width(text.toString()); diff --git a/src/jexer/tterminal/ECMA48.java b/src/jexer/tterminal/ECMA48.java index 8a88799..8127458 100644 --- a/src/jexer/tterminal/ECMA48.java +++ b/src/jexer/tterminal/ECMA48.java @@ -3199,10 +3199,10 @@ public class ECMA48 implements Runnable { if (decPrivateModeFlag == true) { if (value == true) { // Enable sixel scrolling (default). - // TODO + // Not supported } else { // Disable sixel scrolling. - // TODO + // Not supported } } } @@ -4037,7 +4037,7 @@ public class ECMA48 implements Runnable { case 8: // Invisible - // TODO + // Not supported break; case 90: @@ -7306,9 +7306,10 @@ public class ECMA48 implements Runnable { for (int x = 0; x < cellColumns; x++) { assert (currentState.cursorX <= rightMargin); - // TODO: Render text of current cell first, then image over - // it (accounting for blank pixels). For now, just copy the - // cell. + // A real sixel terminal would render the text of the current + // cell first, then image over it (accounting for blank + // pixels). We do not support that. A cell is either text, + // or image, but not a mix of image-over-text. DisplayLine line = display.get(currentState.cursorY); line.replace(currentState.cursorX, cells[x][y]);