| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
And remove the selection following checkbox from Windows builds.
|
|
|
|
| |
Sadly, there is no way to make this an improvement for the end user.
|
| |
|
| |
|
| |
|
|
|
|
|
| |
Reusing colours from sdtui configuration would be awkward
and complicated, e.g. with font attributes, so abandon that idea.
|
| |
|
|
|
|
| |
Don't use an arbitrary amount of pixels, base it off the font.
|
|
Nothing in GTK+ appears to be suited for what are virtually infinite
lists. Our workaround with GtkLabel and GtkScrolledWindow has been
heavily suboptimal and needs to be replaced.
Use Pango directly to handle our relatively simple needs.
Upgrades:
- the widget can be scrolled,
- keywords are repeated for each definition line,
- definition lines are now wrapped, and support 'g' and 'x' fields.
Downgrades:
- text can no longer be selected, so far.
|