idris-0.9.19: src/Util/ScreenSize.hs

{-# LANGUAGE CPP #-}
module Util.ScreenSize(getScreenWidth) where

import Debug.Trace

#ifndef CURSES

getScreenWidth :: IO Int
getScreenWidth = return 80

#else

import UI.HSCurses.Curses

getScreenWidth :: IO Int
getScreenWidth = do initScr
                    refresh
                    size <- scrSize
                    endWin
                    return (snd size)
#endif