| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
|
|
|
| |
We could annoyingly get these events on window de/focus.
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
| |
This is generally an improvement over the initial GtkLabel approach:
- Multiple definition lines can be selected at once.
- The widget doesn't keep a selection caret around (which means
it can't be controlled from the keyboard, a conscious trade-off).
- Text doesn't needlessly go to PRIMARY immediately during selection,
making it somewhat possible lift the self-exception for
the PRIMARY selection watch.
Closes #2
|
| |
|
| |
|
| |
|
|
|
|
| |
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.
|