blob: 7fcfa9650d0ad93c736b2c714bbeeb8410867682 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
Commandline: module {
init: fn();
PATH: con "/dis/spree/lib/commandline.dis";
Cmdline: adt {
new: fn(win: ref Tk->Toplevel, w, textopts: string): (ref Cmdline, chan of string);
event: fn(cmdl: self ref Cmdline, e: string): list of string;
tagaddtext: fn(cmdl: self ref Cmdline, t: list of (string, string));
addtext: fn(cmdl: self ref Cmdline, txt: string);
focus: fn(cmdl: self ref Cmdline);
maketag: fn(cmdl: self ref Cmdline, name, options: string);
w: string;
top: ref Tk->Toplevel;
};
};
|