| Age | Commit message (Collapse) | Author |
|
encoding via his tool "grok".
|
|
It should be allowed to not have any grok stuff in the config file,
and we should generally call it grok rather than GPU in case
other non-grok GPU stuff arrives in the future.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
via his tool "grok".
|
|
|
|
|
|
|
|
Also stop the "copy settings" options from doing this, as Carsten points
out that it could be confusing and potentially very bad if you copy
markers from an OV to an edited VF which then bring house lights up at
the wrong time or whatever.
|
|
|
|
|
|
anything that is passed to read_file() from libcxml.
This should fix #2623 and other similar problems.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
get wxWidgets' translations to appear (at least on Windows) (#2606).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|