2023-10-03 07:14:28 +02:00
|
|
|
function textInput(_input, _onModify) : widget() constructor {
|
2023-10-03 04:29:58 +02:00
|
|
|
input = _input;
|
|
|
|
onModify = _onModify;
|
2023-10-03 07:14:28 +02:00
|
|
|
selecting = false;
|
2024-07-15 10:43:30 +02:00
|
|
|
auto_update = false;
|
2023-03-08 14:59:54 +01:00
|
|
|
|
2023-12-18 04:40:21 +01:00
|
|
|
typing = false;
|
|
|
|
|
2024-07-10 04:14:37 +02:00
|
|
|
parser_server = noone;
|
|
|
|
|
|
|
|
autocomplete_delay = 0;
|
|
|
|
autocomplete_modi = false;
|
|
|
|
use_autocomplete = true;
|
|
|
|
autocomplete_server = noone;
|
|
|
|
autocomplete_object = noone;
|
|
|
|
autocomplete_context = {};
|
|
|
|
|
|
|
|
function_guide_server = noone;
|
|
|
|
|
2023-03-08 14:59:54 +01:00
|
|
|
static _resetFocus = function() { resetFocus(); }
|
2023-06-20 19:43:19 +02:00
|
|
|
|
|
|
|
static onKey = function(key) {}
|
2023-11-01 08:10:25 +01:00
|
|
|
|
2024-07-15 10:43:30 +02:00
|
|
|
static setAutoUpdate = function() /*=>*/ { auto_update = true; return self; }
|
2023-11-27 11:40:28 +01:00
|
|
|
|
2024-07-15 10:43:30 +02:00
|
|
|
static setSideButton = function(_button) /*=>*/ { self.side_button = _button; return self; }
|
|
|
|
|
|
|
|
static breakCharacter = function(ch) /*=>*/ { return ch == " " || ch == "\n"; }
|
2023-01-17 08:11:55 +01:00
|
|
|
}
|