git.iko.soy/Idris-dev
on master help sign in
Don't check terminal size if we're not connected to one
67610bbEcho Nolan
src/Util/ScreenSize.hs+10−5
compare with master
unifiedsplit
@@ -9,11 +9,16 @@ getScreenWidth = return 80
9#else
9#else
10
10
11import UI.HSCurses.Curses
11import UI.HSCurses.Curses
12+import System.IO (hIsTerminalDevice, stdout)
12
13
13getScreenWidth :: IO Int
14getScreenWidth :: IO Int
14−getScreenWidth = do initScr
15+getScreenWidth = do term <- hIsTerminalDevice stdout
16+ if term
17+ then do
18+ initScr
15− refresh
19+ refresh
16− size <- scrSize
20+ size <- scrSize
17− endWin
21+ endWin
18− return (snd size)
22+ return (snd size)
23+ else return 80
19#endif
24#endif