|
244 | 244 | % An height, as a number (integer or floating-point) of pixels.
|
245 | 245 |
|
246 | 246 |
|
247 |
| --type coordinate() :: integer_coordinate(). |
| 247 | +-type coordinate() :: linear:integer_coordinate(). |
248 | 248 | % Here, for a GUI, coordinates are an integer number of pixels.
|
249 | 249 |
|
250 | 250 |
|
|
384 | 384 | -type label() :: ui:label().
|
385 | 385 | % A label, typically of a widget.
|
386 | 386 | %
|
387 |
| -% Control characters can be used (e.g. "\n", "\t"), and shortcuts/accelerators |
388 |
| -% (with a "&" prefix): all "&" characters in the label are special and indicate |
389 |
| -% that the following character is a mnemonic for this control and can be used to |
390 |
| -% activate it from the keyboard (typically by using Alt key in combination with |
391 |
| -% it). To insert a literal ampersand character, you need to double it, i.e. to |
392 |
| -% use "&&". |
| 387 | +% Control characters can be used (e.g. `"\n"', `"\t"'), and |
| 388 | +% shortcuts/accelerators (with a `"&"' prefix): all `"&"' characters in the |
| 389 | +% label are special and indicate that the following character is a mnemonic for |
| 390 | +% this control and can be used to activate it from the keyboard (typically by |
| 391 | +% using Alt key in combination with it). To insert a literal ampersand |
| 392 | +% character, you need to double it, i.e. to use `"&&"'. |
393 | 393 |
|
394 | 394 |
|
395 | 395 | -type event_callback() :: gui_event:event_callback().
|
|
795 | 795 |
|
796 | 796 | -type integer_distance() :: linear:integer_distance().
|
797 | 797 | -type any_distance() :: linear:any_distance().
|
798 |
| --type coordinate() :: linear:integer_coordinate(). |
799 | 798 |
|
800 | 799 |
|
801 | 800 | -type gui_env_pid() :: environment:env_pid().
|
|
0 commit comments