On a windows system, the default editor summoned by /edit in jshell lays out in an inappropriate way so that its bottom is cut off, hiding its 3 buttons. This is inconvenient and does not happen on systems like Ubuntu, so this should be tweaked.