terrazzo-terminal 0.2.7

A simple web-based terminal emulator built on Terrazzo.
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
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131

div.text_editor {
    width: 100%;
    height: 100%;
    display: flex;
    flex-direction: column;

    div.header {
        @include trz-header;
        border: 1px solid var(--color);
        box-sizing: border-box;
        flex: 0 0 auto;

        div.path-selector {
            display: flex;
            flex-direction: row;
            align-items: center;
            width: 100%;

            img.path-selector-icon,
            img.create-entry-icon {
                @include trz-icon;
                margin-left: var(--padding);
                margin-right: var(--padding);
                padding: 3px;

                &.search-icon:hover {
                    filter: invert(0);
                    background-color: var(--link-color);
                    cursor: pointer;
                }
            }

            img.create-entry-icon:hover,
            img.create-entry-icon.active {
                filter: invert(0);
                background-color: var(--link-color);
                cursor: pointer;
            }

            div.path-selector-widget {
                position: relative;
                display: flex;
                flex-direction: row;
                width: 100%;

                input.path-selector-field {
                    background-color: var(--background-color);
                    color: var(--color);
                    border: 0;
                    width: 100%;
                    @include trz-font;
                    @include trz-no-outline;
                }

                span.path-selector-field {
                    white-space: nowrap;
                }

                ul.path-selector-autocomplete {
                    @include trz-menu;

                    max-height: calc(100vh - var(--header-height) - 5px);
                    overflow-y: scroll;

                    border-left: 1px dotted gray;
                    border-bottom: 1px dotted gray;
                }
            }
        }

        img.sync-status {
            @include trz-icon;
            margin-left: var(--padding);
            margin-right: var(--padding);
        }

        img.refresh-editor,
        img.toggle-editor-diff {
            @include trz-icon;
            margin-left: var(--padding);
            margin-right: var(--padding);
            padding: 3px;

            &:hover {
                filter: invert(0);
                background-color: var(--link-color);
                cursor: pointer;
            }
        }

        img.toggle-editor-diff.active {
            filter: invert(0);
            background-color: var(--link-color);
            cursor: pointer;
        }
    }

    div.body {
        width: 100%;
        height: 100%;
        min-height: 0;
        flex: 1 1 auto;

        display: flex;
        flex-direction: row;

        div.editor-container {
            height: 100%;
            width: 100%;
            min-height: 0;
            flex: 1 1 auto;

            div.editor {
                height: 100%;
                width: 100%;
                min-height: 0;
                overflow: hidden;

                :global(.cm-editor),
                :global(.cm-mergeView) {
                    height: 100%;
                    min-height: 0;
                }

                :global(.cm-scroller) {
                    overflow: auto;
                }
            }
        }
    }
}