@@ -193,23 +193,22 @@ get_window_size = do
193 return (fromIntegral b, fromIntegral a)
193 return (fromIntegral b, fromIntegral a)
195terminfo_display_context :: Output -> TerminfoCaps -> DisplayRegion -> IO DisplayContext
195terminfo_display_context :: Output -> TerminfoCaps -> DisplayRegion -> IO DisplayContext
196−terminfo_display_context t_actual terminfo_caps r =
196+terminfo_display_context t_actual terminfo_caps r = return dc
197− let dc = DisplayContext
197+ where dc = DisplayContext
198− { context_device = t_actual
198+ { context_device = t_actual
199− , context_region = r
199+ , context_region = r
200− , write_move_cursor = \x y -> write_cap_expr (cup terminfo_caps) [toEnum y, toEnum x]
200+ , write_move_cursor = \x y -> write_cap_expr (cup terminfo_caps) [toEnum y, toEnum x]
201− , write_show_cursor = case cnorm terminfo_caps of
201+ , write_show_cursor = case cnorm terminfo_caps of
202− Nothing -> error "this terminal does not support show cursor"
202+ Nothing -> error "this terminal does not support show cursor"
203− Just c -> write_cap_expr c []
203+ Just c -> write_cap_expr c []
204− , write_hide_cursor = case civis terminfo_caps of
204+ , write_hide_cursor = case civis terminfo_caps of
205− Nothing -> error "this terminal does not support hide cursor"
205+ Nothing -> error "this terminal does not support hide cursor"
206− Just c -> write_cap_expr c []
206+ Just c -> write_cap_expr c []
207− , write_set_attr = terminfo_write_set_attr dc terminfo_caps
207+ , write_set_attr = terminfo_write_set_attr dc terminfo_caps
208− , write_default_attr = write_cap_expr (set_default_attr terminfo_caps) []
208+ , write_default_attr = write_cap_expr (set_default_attr terminfo_caps) []
209− , write_row_end = write_cap_expr (clear_eol terminfo_caps) []
209+ , write_row_end = write_cap_expr (clear_eol terminfo_caps) []
210− , inline_hack = return ()
210+ , inline_hack = return ()
214-- | Portably setting the display attributes is a giant pain in the ass.
213-- | Portably setting the display attributes is a giant pain in the ass.