public void moveInDirection( textCursorZoneCorner __corner = textCursorZoneCorner.default_corner, int step = 1 )
Copyright (c) 2018 - GNU General Public License v3.0