PolytreeDE/rofi
1
0
Fork 0
mirror of https://github.com/davatorium/rofi.git synced 2024-11-11 13:50:48 -05:00
Code Releases Activity

Put Xfwm4 on the WM list that needs extra desktop change.

Browse source 
Work-around that makes sure desktop gets switchs when setting active
window.

Fixes: #624
This commit is contained in:
Dave Davenport 2017-07-05 21:30:29 +02:00
parent 46cff2d919
commit ef4a171fca
3 changed files with 7 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
include/xcb.h
View file

@ -174,7 +174,9 @@ typedef enum
/** Awesome window manager */ /** Awesome window manager */
WM_AWESOME = 2, WM_AWESOME = 2,
/** Openbox window manager */ /** Openbox window manager */
WM_OPENBOX = 4 WM_OPENBOX = 4,
/** Xfwm4 */
WM_XFWM4 = 8,
} WindowManager; } WindowManager;
/** /**

2
source/dialogs/window.c
View file

@ -584,7 +584,7 @@ static ModeMode window_mode_result ( Mode *sw, int mretv, G_GNUC_UNUSED char **i
} }
else { else {
rofi_view_hide (); rofi_view_hide ();
if ( ( current_window_manager & ( WM_AWESOME | WM_OPENBOX ) ) != 0 ) { if ( ( current_window_manager & ( WM_AWESOME | WM_OPENBOX | WM_XFWM4 ) ) != 0 ) {
// Get the desktop of the client to switch to // Get the desktop of the client to switch to
uint32_t wmdesktop = 0; uint32_t wmdesktop = 0;
xcb_get_property_cookie_t cookie; xcb_get_property_cookie_t cookie;

3
source/xcb.c
View file

@ -885,6 +885,9 @@ static void x11_helper_discover_window_manager ( void )
else if ( g_strcmp0 ( wtitle.strings, "Openbox" ) == 0 ) { else if ( g_strcmp0 ( wtitle.strings, "Openbox" ) == 0 ) {
current_window_manager = WM_OPENBOX; current_window_manager = WM_OPENBOX;
} }
else if ( g_strcmp0 ( wtitle.strings, "Xfwm4" ) == 0 ) {
current_window_manager = WM_XFWM4;
}
} }
xcb_ewmh_get_utf8_strings_reply_wipe ( &wtitle ); xcb_ewmh_get_utf8_strings_reply_wipe ( &wtitle );
} }