gtk-strut 0.1.1.0 → 0.1.2.0
raw patch · 2 files changed
+9/−7 lines, 2 files
Files
- gtk-strut.cabal +2/−2
- src/Graphics/UI/GIGtkStrut.hs +7/−5
gtk-strut.cabal view
@@ -2,10 +2,10 @@ -- -- see: https://github.com/sol/hpack ----- hash: 534fe253fbfcca345ba3575a2e1353dea97e5a6c2a07867f3dcd9ae1a8363ace+-- hash: 314a983e7bd4ef9c89acbe70c1db5890f074902f7732f6ec29ea44db985a3c58 name: gtk-strut-version: 0.1.1.0+version: 0.1.2.0 synopsis: Libary for creating strut windows with gi-gtk description: Please see the README on Github at <https://github.com/IvanMalison/gtk-strut#readme> category: System
src/Graphics/UI/GIGtkStrut.hs view
@@ -58,6 +58,8 @@ Just display <- maybe Gdk.displayGetDefault Gdk.displayOpen displayName Just monitor <- maybe (Gdk.displayGetPrimaryMonitor display) (Gdk.displayGetMonitor display) monitorNumber+ screen <- Gdk.displayGetDefaultScreen display+ monitorCount <- Gdk.displayGetNMonitors display allMonitors <- catMaybes <$> mapM (Gdk.displayGetMonitor display) [0..(monitorCount-1)] allGeometries <- mapM Gdk.monitorGetGeometry allMonitors@@ -65,7 +67,6 @@ getFullX geometry = (+) <$> Gdk.getRectangleX geometry <*> Gdk.getRectangleWidth geometry screenWidth <- maximum <$> mapM getFullX allGeometries screenHeight <- maximum <$> mapM getFullY allGeometries- screen <- Gdk.displayGetDefaultScreen display Gtk.windowSetTypeHint window Gdk.WindowTypeHintDock geometry <- Gdk.newZeroGeometry@@ -78,10 +79,10 @@ let width = case widthSize of ExactSize w -> w- ScreenRatio p -> floor $ (p * fromIntegral (monitorWidth - (2 * xpadding)))+ ScreenRatio p -> floor $ p * fromIntegral (monitorWidth - (2 * xpadding)) height = case heightSize of ExactSize h -> h- ScreenRatio p -> floor $ (p * fromIntegral (monitorHeight - (2 * ypadding)))+ ScreenRatio p -> floor $ p * fromIntegral (monitorHeight - (2 * ypadding)) Gdk.setGeometryBaseWidth geometry width Gdk.setGeometryBaseHeight geometry height@@ -92,8 +93,8 @@ Gtk.windowSetGeometryHints window (Nothing :: Maybe Gtk.Window) (Just geometry) allHints - let paddedHeight = (height + 2 * ypadding)- paddedWidth = (width + 2 * xpadding)+ let paddedHeight = height + 2 * ypadding+ paddedWidth = width + 2 * xpadding getAlignedPos dimensionPos dpadding monitorSize barSize = dimensionPos + case alignment of@@ -111,6 +112,7 @@ Gtk.windowSetScreen window screen Gtk.windowMove window xPos yPos+ Gtk.windowSetKeepBelow window True let ewmhSettings = case position of