diff options
| author | Maik Riechert <[email protected]> | 2013-06-12 22:57:54 +0200 |
|---|---|---|
| committer | Maik Riechert <[email protected]> | 2013-06-13 11:30:00 +0200 |
| commit | f21f4d8e0f125f6c054b9f07e707fdf900fe4b35 (patch) | |
| tree | 153efe2e46dc7658c4d02603d3b61b6330bffb40 /make/validate-properties.xml | |
| parent | 19225a21d8d2a2e09f166f8f1f0411f3f934b9a0 (diff) | |
Support specifying the X11 default display with a system property
Usually, the environment variable DISPLAY is used to define the default
display under X11. There are cases where the default display has to be
defined or overridden programmatically. For those cases, the new system
property nativewindow.x11.display.default can be used (as environment variables can't
be changed in Java). Its semantics are identical to the DISPLAY
environment variable.
Diffstat (limited to 'make/validate-properties.xml')
0 files changed, 0 insertions, 0 deletions