ui-terminal-mojo/examples/example_table.mojo at main · rd4com/ui-terminal-mojo · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
from `ui-terminal-mojo` import *
from time import perf_counter_ns

def main():
    var ui = UI()
    var value= UInt8(0)
    var notifs = List[Notification]()
    var current_value = String("Hello world")
    var is_edit = False
    for _ in ui:
        "Hello app" in ui

        var all_measuring = ui.start_measuring()
        var all_border_measuring = all_measuring.start_border()

        var start_measuring = ui.start_measuring()
        var b = start_measuring.start_border()
        widget_slider["Slide", preview_value=True](ui,value)
        input_buffer["Edit new:"](ui, current_value, is_edit)
        "Add" in ui
        if ui[-1].click():
            notifs.append(Notification(current_value, auto_fade_second=Int(value)))
        b^.end_border(ui, Fg.blue)
        start_measuring^.stop_measuring().move_cursor_after()

        start_measuring = ui.start_measuring()
        b = start_measuring.start_border()
        "Hello world" in ui
        if notifs: spinner2(ui)
        widget_notification_area(ui,notifs)
        if notifs:
            if len(notifs)>=4:
                b^.end_border(ui, Fg.cyan)
            else:
                b^.end_border[StyleBorderCurved](ui, Fg.green)
        else:
            b^.end_border(ui, Fg.green)
        start_measuring^.stop_measuring().move_cursor_after()

        for i in range(value):
            Text(i) in ui

        all_border_measuring^.end_border[StyleBorderDouble](ui,Fg.magenta)
        all_measuring^.stop_measuring().move_cursor_below()