git.iko.soy/Idris-dev
on master help sign in
Merge pull request #3011 from Melvar/simplify-screensize
dff4fcdNiklas Larsson
src/Util/ScreenSize.hs+1−9
compare with master
unifiedsplit
@@ -1,14 +1,6 @@
1module Util.ScreenSize(getScreenWidth) where
1module Util.ScreenSize(getScreenWidth) where
2
2
3import System.Console.Terminal.Size (size, width)
3import System.Console.Terminal.Size (size, width)
4−import System.IO (hIsTerminalDevice, stdout)
5
4
6getScreenWidth :: IO Int
5getScreenWidth :: IO Int
7−getScreenWidth = do term <- hIsTerminalDevice stdout
6+getScreenWidth = maybe 80 width `fmap` size
8− sz <- size
9− if term
10− then case sz of
11− Just w -> return $ width w
12− Nothing -> return 80
13− else return 80
14−