mirror of
https://github.com/xmonad/xmonad-contrib.git
synced 2025-09-01 20:03:46 -07:00
NewTabbed: after a ReleaseResources we should return Tabbed Nothing...
This commit is contained in:
@@ -2,10 +2,10 @@
|
|||||||
-----------------------------------------------------------------------------
|
-----------------------------------------------------------------------------
|
||||||
-- |
|
-- |
|
||||||
-- Module : XMonadContrib.Tabbed
|
-- Module : XMonadContrib.Tabbed
|
||||||
-- Copyright : (c) David Roundy
|
-- Copyright : (c) 2007 David Roundy, Andrea Rossato
|
||||||
-- License : BSD-style (see xmonad/LICENSE)
|
-- License : BSD-style (see xmonad/LICENSE)
|
||||||
--
|
--
|
||||||
-- Maintainer : email@address.com
|
-- Maintainer : droundy@darcs.net, andrea.rossato@unibz.it
|
||||||
-- Stability : unstable
|
-- Stability : unstable
|
||||||
-- Portability : unportable
|
-- Portability : unportable
|
||||||
--
|
--
|
||||||
@@ -91,7 +91,7 @@ data TabState =
|
|||||||
TabState { tabsWindows :: [(Window,Window)]
|
TabState { tabsWindows :: [(Window,Window)]
|
||||||
, scr :: Rectangle
|
, scr :: Rectangle
|
||||||
, fontS :: FontStruct -- FontSet
|
, fontS :: FontStruct -- FontSet
|
||||||
}
|
} deriving ( Show , Read )
|
||||||
|
|
||||||
data Tabbed a =
|
data Tabbed a =
|
||||||
Tabbed (InvisibleMaybe TabState) TConf
|
Tabbed (InvisibleMaybe TabState) TConf
|
||||||
@@ -137,7 +137,7 @@ handleMess (Tabbed (IJus st@(TabState {tabsWindows = tws})) conf) m
|
|||||||
| Just ReleaseResources == fromMessage m = do d <- asks display
|
| Just ReleaseResources == fromMessage m = do d <- asks display
|
||||||
destroyTabs $ map fst tws
|
destroyTabs $ map fst tws
|
||||||
io $ freeFont d (fontS st)
|
io $ freeFont d (fontS st)
|
||||||
return $ Just $ Tabbed INothin conf
|
return Nothing
|
||||||
handleMess _ _ = return Nothing
|
handleMess _ _ = return Nothing
|
||||||
|
|
||||||
handleEvent :: TConf -> TabState -> Event -> X ()
|
handleEvent :: TConf -> TabState -> Event -> X ()
|
||||||
|
Reference in New Issue
Block a user