TextBox
|
|
appearance as argument number 1 |
(disjoint TextBox ComputerMenu) | ComputerInput.kif 1104-1104 | TextBox ist dijunkt von ComputerMenu %n{nicht} |
(disjoint TextBox GUIButton) | ComputerInput.kif 1105-1105 | TextBox ist dijunkt von GUIButton %n{nicht} |
(documentation TextBox EnglishLanguage "A TextBox is a (normally rectangular) GUIElement which displays and/ or accepts input of text.") | ComputerInput.kif 1102-1103 | |
(subclass TextBox GUIElement) | ComputerInput.kif 1101-1101 | TextBox ist eine teilkategorie von GUIElement |
appearance as argument number 2 |
(subclass TextInputBox TextBox) | ComputerInput.kif 1108-1108 | TextInputBox ist eine teilkategorie von TextBox |
(subclass TextOutputBox TextBox) | ComputerInput.kif 1113-1113 | TextOutputBox ist eine teilkategorie von TextBox |
(termFormat EnglishLanguage TextBox "text box") | domainEnglishFormat.kif 65594-65594 |