🚀 go-pugleaf

>
> However, I don't know how to make Ctrl-Enter put an "Enter" into the text, 
> that is, a hard return.
>

 add the following code to the constructor of the small wrapper class
(e.g. MyTextArea) which extends the JTextArea

        this.addKeyListener(new KeyAdapter()
        {
            public void keyPressed(KeyEvent ke)
            {
                if (ke.getKeyCode() == KeyEvent.VK_TAB &&
                    ke.isShiftDown())
                {
                     ke.consume();
                    TTextArea.this.transferFocusBackward();
                }
                else if (ke.getKeyCode() == KeyEvent.VK_TAB)
                {
                    ke.consume();
                    TTextArea.this.transferFocus();
                }
                else if (ke.getKeyCode() == KeyEvent.VK_ENTER
                          && ke.isControlDown())
                {
                    ke.setKeyCode(KeyEvent.VK_ENTER);
                    // The following uses a deperecated API,
                    // it seems that there is not workaround
                    ke.setModifiers(0);
                    return;
                }
                else if (ke.getKeyCode() == KeyEvent.VK_ENTER)
                {
                    ke.consume();
                    TTextArea.this.transferFocus();
                }
            }
        });