|
Welcome to MUGS ⚄♠♞🏹 (Multi-User Gaming Services)! | github.com/Raku-MUGS | v0.1.4 has been released! (github.com/Raku-MUGS/MUGS/blob/mai...v0.1.4.md) | This channel is logged for historical purposes; logs at irclogs.raku.org/mugs/index.html Set by japhb on 3 March 2024. |
|||
|
00:23
lizmat left,
Geth joined
|
|||
| japhb | [Coke]: Well poo. But hey, might as well continue documenting, for whenever you next get a good idea .... | 03:04 | |
| patrickb | I've thought a bit about that line number prefix issue. Now that I've started actually writing code, this seems to be trickier than I thought. I think the interface for the rich text viewer that this feature requires will always seem specific for this exact use case. | 06:38 | |
| It'll require at least two hooks. 1. Before rendering the content a call of a user supplied function needs to happen that is passed the line range to be rendered (e returns the prefix width (or the rich text's draw area width, depending on whether the line numbers are prefixed by the rich text widget or drawn separately) | 06:41 | ||
| s/(e/(e.g. 243, 301) and/ | 06:42 | ||
| 2. A call to a user supplied function passing line heights and returning the actual prefixes. | 06:44 | ||
| I'll move this to an issue, writing the above made me get more ideas... | 06:45 | ||
|
10:01
lizmat_ left
10:02
lizmat joined
|
|||
| patrickb | That's the new issue: github.com/japhb/Terminal-Widgets/issues/35 My above rambling can be ignored. | 10:28 | |
| It's been superceded by that issue. | |||
|
11:28
librasteve_ left
12:03
librasteve_ joined
14:38
librasteve_ left
18:20
librasteve_ joined
21:30
librasteve_ left
21:44
librasteve_ joined
23:50
librasteve_ left
|
|||