|
From: Ethan A M. <sf...@us...> - 2014-06-20 16:34:14
|
I looked into this a bit.
Here is a the relevant section of code in wxt_gui.cpp:
=====
/* FIXME : this code should be deleted, and the feature removed or handled differently,
* because it is highly platform-dependant, is not reliable because
* of a lot of factors (WINDOWID not set, multiple tabs in gnome-terminal, mechanisms
* to prevent focus stealing) and is inconsistent with global bindings mechanism ) */
void wxtPanel::RaiseConsoleWindow()
{
#ifdef USE_GTK
[... special case code for KDE3]
[... special case code for Gnome console]
#endif
[... special case code for Win32]
[... special case code for OS2]
=======
Furthermore the definition of USE_GTK depends on configuration tests for
the locally installed gdk.h/gtk.h headers, if any. I have tried building against
gtk3 headers - no success.
So there is no wxt terminal support for raise console window on linux unless
you are using gtk2 and either KDE3 or the Gnome console terminal.
I will add this to the docs somewhere (maybe "known limitations"?)
As to the qt terminal, Tatsuro Matsuoka is correct that despite what the
terminal help text says there is no special treatment of the space key
in the actual code.
So basically this feature exists consistently only on Windows or X11.
And even the X11 support may depend on the window manager being used.
The documentation should be amended to note that it is not generally
available on linux.
Ethan
|