2020-07-01 02:12:33 +02:00
|
|
|
import {UIElement} from "../UIElement";
|
|
|
|
import {UIEventSource} from "../UIEventSource";
|
2020-07-20 15:54:50 +02:00
|
|
|
import {InputElement} from "./InputElement";
|
|
|
|
import {FixedUiElement} from "../Base/FixedUiElement";
|
2020-07-01 02:12:33 +02:00
|
|
|
|
|
|
|
|
2020-07-20 15:54:50 +02:00
|
|
|
export class TextField<T> extends InputElement<T> {
|
2020-07-01 02:12:33 +02:00
|
|
|
|
2020-07-20 13:28:45 +02:00
|
|
|
private value: UIEventSource<string>;
|
|
|
|
private mappedValue: UIEventSource<T>;
|
2020-07-01 02:12:33 +02:00
|
|
|
/**
|
|
|
|
* Pings and has the value data
|
|
|
|
*/
|
|
|
|
public enterPressed = new UIEventSource<string>(undefined);
|
2020-07-20 15:54:50 +02:00
|
|
|
private _placeholder: UIElement;
|
|
|
|
private _fromString?: (string: string) => T;
|
|
|
|
private _toString: (t: T) => string;
|
2020-07-01 02:12:33 +02:00
|
|
|
|
2020-07-20 13:28:45 +02:00
|
|
|
constructor(options: {
|
2020-07-20 15:54:50 +02:00
|
|
|
placeholder?: string | UIElement,
|
2020-07-20 18:24:00 +02:00
|
|
|
toString: (t: T) => string,
|
|
|
|
fromString: (string: string) => T,
|
2020-07-20 13:28:45 +02:00
|
|
|
value?: UIEventSource<T>
|
|
|
|
}) {
|
2020-07-20 15:54:50 +02:00
|
|
|
super(undefined);
|
2020-07-20 21:39:07 +02:00
|
|
|
const self = this;
|
2020-07-20 13:28:45 +02:00
|
|
|
this.value = new UIEventSource<string>("");
|
|
|
|
|
2020-07-20 21:39:07 +02:00
|
|
|
this.mappedValue = options?.value ?? new UIEventSource<T>(undefined);
|
|
|
|
this.mappedValue.addCallback(() => self.InnerUpdate());
|
2020-07-20 13:28:45 +02:00
|
|
|
|
2020-07-20 15:54:50 +02:00
|
|
|
// @ts-ignore
|
|
|
|
this._fromString = options.fromString ?? ((str) => (str))
|
2020-07-20 13:28:45 +02:00
|
|
|
this.value.addCallback((str) => this.mappedValue.setData(options.fromString(str)));
|
|
|
|
this.mappedValue.addCallback((t) => this.value.setData(options.toString(t)));
|
|
|
|
|
|
|
|
|
2020-07-20 18:24:00 +02:00
|
|
|
options.placeholder = options.placeholder ?? "";
|
|
|
|
if (options.placeholder instanceof UIElement) {
|
|
|
|
this._placeholder = options.placeholder
|
|
|
|
} else {
|
|
|
|
this._placeholder = new FixedUiElement(options.placeholder);
|
|
|
|
}
|
2020-07-20 15:54:50 +02:00
|
|
|
this._toString = options.toString ?? ((t) => ("" + t));
|
|
|
|
|
2020-07-20 13:28:45 +02:00
|
|
|
|
|
|
|
this.mappedValue.addCallback((t) => {
|
2020-07-20 18:24:00 +02:00
|
|
|
if (t === undefined || t === null) {
|
2020-07-20 13:28:45 +02:00
|
|
|
return;
|
|
|
|
}
|
|
|
|
const field = document.getElementById('text-' + this.id);
|
2020-07-20 15:54:50 +02:00
|
|
|
if (field === undefined || field === null) {
|
2020-07-20 13:28:45 +02:00
|
|
|
return;
|
|
|
|
}
|
2020-07-20 15:54:50 +02:00
|
|
|
// @ts-ignore
|
2020-07-20 13:28:45 +02:00
|
|
|
field.value = options.toString(t);
|
|
|
|
})
|
2020-07-05 18:59:47 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
GetValue(): UIEventSource<T> {
|
2020-07-20 13:28:45 +02:00
|
|
|
return this.mappedValue;
|
2020-07-01 02:12:33 +02:00
|
|
|
}
|
|
|
|
|
2020-07-20 21:03:55 +02:00
|
|
|
ShowValue(t: T): boolean {
|
|
|
|
if (!this.IsValid(t)) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
this.mappedValue.setData(t);
|
|
|
|
}
|
|
|
|
|
|
|
|
InnerRender(): string {
|
2020-07-20 15:54:50 +02:00
|
|
|
return "<form onSubmit='return false' class='form-text-field'>" +
|
|
|
|
"<input type='text' placeholder='" + this._placeholder.InnerRender() + "' id='text-" + this.id + "'>" +
|
2020-07-01 02:12:33 +02:00
|
|
|
"</form>";
|
|
|
|
}
|
|
|
|
|
2020-07-20 21:39:07 +02:00
|
|
|
InnerUpdate() {
|
2020-07-01 02:12:33 +02:00
|
|
|
const field = document.getElementById('text-' + this.id);
|
2020-07-20 21:03:55 +02:00
|
|
|
if (field === null) {
|
2020-07-20 15:54:50 +02:00
|
|
|
return;
|
|
|
|
}
|
2020-07-01 02:12:33 +02:00
|
|
|
const self = this;
|
|
|
|
field.oninput = () => {
|
2020-07-05 18:59:47 +02:00
|
|
|
// @ts-ignore
|
2020-07-01 02:12:33 +02:00
|
|
|
self.value.setData(field.value);
|
|
|
|
};
|
|
|
|
|
|
|
|
field.addEventListener("keyup", function (event) {
|
|
|
|
if (event.key === "Enter") {
|
2020-07-05 18:59:47 +02:00
|
|
|
// @ts-ignore
|
2020-07-01 02:12:33 +02:00
|
|
|
self.enterPressed.setData(field.value);
|
|
|
|
}
|
|
|
|
});
|
2020-07-05 18:59:47 +02:00
|
|
|
|
2020-07-20 21:03:55 +02:00
|
|
|
if (this.IsValid(this.mappedValue.data)) {
|
2020-07-20 21:39:07 +02:00
|
|
|
const expected = this._toString(this.mappedValue.data);
|
2020-07-20 21:03:55 +02:00
|
|
|
// @ts-ignore
|
2020-07-20 21:39:07 +02:00
|
|
|
if (field.value !== expected) {
|
|
|
|
// @ts-ignore
|
|
|
|
field.value = expected;
|
|
|
|
}
|
2020-07-20 21:03:55 +02:00
|
|
|
}
|
|
|
|
|
2020-07-05 18:59:47 +02:00
|
|
|
|
2020-07-01 02:12:33 +02:00
|
|
|
}
|
|
|
|
|
2020-07-20 15:54:50 +02:00
|
|
|
IsValid(t: T): boolean {
|
2020-07-20 21:03:55 +02:00
|
|
|
console.log("TXT IS valid?",t,this._toString(t))
|
2020-07-20 15:54:50 +02:00
|
|
|
if(t === undefined || t === null){
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
const result = this._toString(t);
|
|
|
|
return result !== undefined && result !== null;
|
|
|
|
}
|
|
|
|
|
2020-07-01 02:12:33 +02:00
|
|
|
Clear() {
|
|
|
|
const field = document.getElementById('text-' + this.id);
|
|
|
|
if (field !== undefined) {
|
2020-07-05 18:59:47 +02:00
|
|
|
// @ts-ignore
|
2020-07-01 02:12:33 +02:00
|
|
|
field.value = "";
|
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|