mirror of
https://github.com/davatorium/rofi.git
synced 2025-07-31 21:59:25 -04:00
Add openbox to the naughty list
This commit is contained in:
parent
85bd47e42f
commit
ed7cfcb6aa
3 changed files with 6 additions and 2 deletions
|
@ -269,7 +269,9 @@ typedef enum {
|
||||||
/** I3 Window manager */
|
/** I3 Window manager */
|
||||||
WM_I3 = 1,
|
WM_I3 = 1,
|
||||||
/** Awesome window manager */
|
/** Awesome window manager */
|
||||||
WM_AWESOME = 2
|
WM_AWESOME = 2,
|
||||||
|
/** Openbox window manager */
|
||||||
|
WM_OPENBOX = 4
|
||||||
} WindowManager;
|
} WindowManager;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
|
|
@ -578,7 +578,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 )
|
if ( (current_window_manager&(WM_AWESOME|WM_OPENBOX)) != 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;
|
||||||
|
|
|
@ -941,6 +941,8 @@ void x11_helper_discover_window_manager ( void )
|
||||||
current_window_manager = WM_I3;
|
current_window_manager = WM_I3;
|
||||||
} else if ( g_strcmp0 ( wtitle.strings, "awesome" ) == 0 ){
|
} else if ( g_strcmp0 ( wtitle.strings, "awesome" ) == 0 ){
|
||||||
current_window_manager = WM_AWESOME;
|
current_window_manager = WM_AWESOME;
|
||||||
|
} else if ( g_strcmp0 ( wtitle.strings, "openbox" ) == 0 ){
|
||||||
|
current_window_manager = WM_OPENBOX;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
xcb_ewmh_get_utf8_strings_reply_wipe(&wtitle);
|
xcb_ewmh_get_utf8_strings_reply_wipe(&wtitle);
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue