git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/src/Util/ScreenSize.hs
21 lines 363 B history raw
1{-# LANGUAGE CPP #-}
2module Util.ScreenSize where
4import Debug.Trace
6#ifndef CURSES
8getScreenWidth :: IO Int
9getScreenWidth = return 80
11#else
13import UI.HSCurses.Curses
15getScreenWidth :: IO Int
16getScreenWidth = do initScr
17 refresh
18 size <- scrSize
19 endWin
20 return (snd size)
21#endif