util  Check-in [46da53de26]

Overview
Comment:fixes
Downloads: Tarball | ZIP archive | SQL archive
Timelines: family | ancestors | descendants | both | trunk
Files: files | file ages | folders
SHA3-256: 46da53de260802b0579db8e5823743702a02a2240dd134d4381eb00d9e8ed338
User & Date: lexi on 2023-01-29 21:47:39
Other Links: manifest | tags
Context
2023-04-13
07:26
relicense to EUPL check-in: 0f5a51907d user: lexi tags: trunk
2023-01-29
21:47
fixes check-in: 46da53de26 user: lexi tags: trunk
21:16
iterate on rasuir check-in: e15188634a user: lexi tags: trunk
Changes

Modified spec/rasuir.ct from [d1e6e704c3] to [58a4c1a3bf].

78
79
80
81
82
83
84
85
86
87
88
89


90
91
92

93
94
95
96
97
98
99
100
* {m.n status-fail}: the data requested could not be retrieved
* {m.n status-ignore}: the request was not understood and was ignored
* {m.n status-data}: the request was understood, and metadata is being returned
if the reply is {m.n status-data}, the code must be followed by a [!byte-sequence<16>]. the meaning of this sequence is hint-dependent.


## widgets
the special notation [!tail] refers to the remainder of entry data body, which is wrapped in a sequence header, so the final element does not need an explicit length or termination marker. [!tail<T>] indicates a type [$T] modified such that any length marker for the final value is removed; for instance [!tail<bitmap>] means ([!int<16>:[$pxl-width]] [!tail:[$map]]).
* {m.n w-paragraph} = [`0x00] [!tail] / shows a block of text
* {m.n w-section} =  [`0x02] [!tail] / inserts a heading
* {m.n w-rule} = [`0x07] / inserts a horizontal line that stretches across the screen
* {m.n w-define} = [`0x03] [!string:[$name]] [!tail:[$val]] / shows a definition (e.g. [`[*Name]: Value]); sequential definitions may be arranged into a table


* {m.n w-pbar} = [`0x04] [!int<8>:[$progress]] / shows a progress bar; [`0] means empty, [`255] means full
* {m.n w-bitmap} = [`0x05] [!tail<bitmap>] / shows an image
* {m.n wi-bitmap} = [`0x06] [!link] [!string] [!tail<bitmap>] / shows an image that can be activated as an option, along with caption that may be displayed in vertical layout or as a substitute for the image in text-only displays

* {m.n wi-choice} = [`0x01] [!link:[$target]] [!tail:[$label]] / adds an option that can be selected from the menu, causing the client for query for [$target].
* {m.n wl-horiz} = [`0x80] [!int<8>:[$N]] / the next [$N] widgets will be arranged horizontally into a grid if possible

## roles
a role is a small piece of metadata that alters the appearance of an object, for example by changing color or applying an icon. defined roles consist of:
: generic
: accept
: abort







|
|
<
|
|
>
>
|
<
|
>
|







78
79
80
81
82
83
84
85
86

87
88
89
90
91

92
93
94
95
96
97
98
99
100
101
* {m.n status-fail}: the data requested could not be retrieved
* {m.n status-ignore}: the request was not understood and was ignored
* {m.n status-data}: the request was understood, and metadata is being returned
if the reply is {m.n status-data}, the code must be followed by a [!byte-sequence<16>]. the meaning of this sequence is hint-dependent.


## widgets
* {m.n w-section} =  [`0x00] [!string] / inserts a heading
* {m.n w-paragraph} = [`0x02] [!text] / shows a block of text

* {m.n w-rule} = [`0x03] / inserts a horizontal line that stretches across the screen
* {m.n w-define} = [`0x04] [!string:[$name]] [!text:[$val]] / shows a definition (e.g. [`[*Name]: Value]); sequential definitions may be arranged into a table
* {m.n w-bitmap} = [`0x05] [!bitmap] / shows an image
* {m.n w-bitdef} = [`0x06] [!string:[$name]] [!text:[$val]] [!bitmap] / like {m.n w-define}, but the value is characterized by an image rather than the [$name] string where possible
* {m.n w-pbar} = [`0x07] [!int<8>:[$progress]] / shows a progress bar; [`0] means empty, [`255] means full

* {m.n wi-bitmap} = [`0x08] [!link] [!string] [!bitmap] / shows an image that can be activated as an option, along with caption that may be displayed as a substitute for the image in text-only displays
* {m.n wi-bitmap-l} = [`0x09] [!link] [!string] [!bitmap] / like {m.n wi-bitmap} except the label is not omitted on devices with image support
* {m.n wi-choice} = [`0x01] [!link:[$target]] [!string:[$label]] / adds an option that can be selected from the menu, causing the client for query for [$target].
* {m.n wl-horiz} = [`0x80] [!int<8>:[$N]] / the next [$N] widgets will be arranged horizontally into a grid if possible

## roles
a role is a small piece of metadata that alters the appearance of an object, for example by changing color or applying an icon. defined roles consist of:
: generic
: accept
: abort