Simplify getScreenWidth
The extra check for a terminal device should have no effect since it is already
part of retrieving the terminal size.
commit4814fe9c1ce1e6afe941feecc484a587cfcec82d
authorMelvar Chen <Melvar.Chen@googlemail.com>
dateThu 3 Mar 2016, 15:23 (11 years ago)
parent51c9c11
src/Util/ScreenSize.hs+1−9
@@ -1,14 +1,6 @@
11module Util.ScreenSize(getScreenWidth) where
22
33import System.Console.Terminal.Size (size, width)
4−import System.IO (hIsTerminalDevice, stdout)
54
65getScreenWidth :: IO Int
7−getScreenWidth = do term <- hIsTerminalDevice stdout
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−
6+getScreenWidth = maybe 80 width `fmap` size