jean-pierre charras
|
2354222188
|
Remove tool tips not related to the objects they are depending on.
Probably due to a too zealous copy/paste.
|
2021-05-16 10:03:12 +02:00 |
Jeff Young
|
176fcd43d8
|
Cleanup.
|
2021-04-10 10:04:02 +01:00 |
Jeff Young
|
252fad1cc7
|
These grids *must* have a border on OSX to render correctly.
|
2021-04-10 10:04:02 +01:00 |
Jeff Young
|
f606069bf6
|
Formatting.
|
2021-04-10 10:04:02 +01:00 |
Jeff Young
|
ba46a8d12d
|
Fix some layout issues resulting from wxWidgets version bump.
|
2021-03-12 14:54:54 +00:00 |
Jeff Young
|
dff5173baf
|
Exorcise some instances of "modedit".
|
2020-11-17 16:05:48 +00:00 |