public void switchToZone( textCursorZone __zone, textCursorZoneCorner __corner = textCursorZoneCorner.default_corner )
Copyright (c) 2018 - GNU General Public License v3.0