push element to chat window

This commit is contained in:
Solomon Laing 2021-07-27 08:22:41 +09:30
parent 3c723de808
commit f3e246a4d9

View File

@ -393,6 +393,7 @@ myManageHook = composeAll
, className =? "Steam" --> doShift ( myWorkspaces !! (7-1) ) , className =? "Steam" --> doShift ( myWorkspaces !! (7-1) )
, className =? "discord" --> doShift ( myWorkspaces !! (8-1) ) , className =? "discord" --> doShift ( myWorkspaces !! (8-1) )
, className =? "telegram-desktop" --> doShift ( myWorkspaces !! (8-1) ) , className =? "telegram-desktop" --> doShift ( myWorkspaces !! (8-1) )
, className =? "Element" --> doShift ( myWorkspaces !! (8-1) )
, className =? "Pavucontrol" --> doShift ( myWorkspaces !! (5-1) )] , className =? "Pavucontrol" --> doShift ( myWorkspaces !! (5-1) )]
------------------------------------------------------------------------ ------------------------------------------------------------------------
-- Event handling -- Event handling