123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960 |
- {
- save_changes: {
- type: "simpleWindow",
- // options: no title bar
- pos: [0, 0],
- size: [400, 200],
- title: "Save changes?",
- children: [
- { type: "text", pos: [10, 14], value: "", name: "filename" },
- { type: "button", pos: [10, 34], size: [90, 30], value: "Save", name: "save" },
- { type: "button", pos: [110, 34], size: [90, 30], value: "Discard", name: "discard" },
- { type: "button", pos: [210, 34], size: [90, 30], value: "Cancel", name: "cancel" },
- ],
- },
-
- find_tray: {
- type: "window",
- size: [0, 40],
- flags: "MAXIMIZE_X",
- children: [
- { type: "text", pos: [5, 10], size: [40, 20], value: "Find:" },
- { type: "edit", pos: [50, 10], size: [400, 20], value: "", name: "find" },
- { type: "text", pos: [455, 10], size: [80, 20], value: "X of Y", name: "results" },
- ],
- },
- replace_tray: {
- type: "window",
- size: [0, 70],
- flags: "MAXIMIZE_X|CHILD_TABBING",
- children: [
- { type: "text", pos: [5, 10], size: [40, 20], value: "Find:" },
- { type: "edit", pos: [75, 10], size: [400, 20], value: "", name: "find", tabStop: 1 },
- { type: "text", pos: [480, 10], size: [80, 20], value: "X of Y", name: "results" },
- { type: "text", pos: [5, 40], size: [65, 20], value: "Replace:" },
- { type: "edit", pos: [75, 40], size: [400, 20], value: "", name: "replace", tabStop: 2 },
- ],
- },
- goto_tray: {
- type: "window",
- size: [0, 40],
- flags: "MAXIMIZE_X",
- children: [
- {type: "text", pos: [5, 10], value: "Line:" },
- {type: "edit", pos: [50, 10], size: [400, 20] value: "", name: "goto_line" },
- ],
- },
- save_tray: {
- type: "window",
- size: [0, 80],
- flags: "MAXIMIZE_X",
- children: [
- { type: "text", pos: [10, 10], size: [200, 20], value: "Save file before closing?" },
- { type: "text", pos: [210, 10], size: [300, 20], value: "", name: "filename" },
- { type: "button", pos: [10, 35], size: [90, 30], value: "Save", name: "save" },
- { type: "button", pos: [110, 35], size: [90, 30], value: "Discard", name: "discard" },
- { type: "button", pos: [210, 35], size: [90, 30], value: "Cancel", name: "cancel" },
- ],
- },
- }
|