úÎ4½/”V      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQRSTUCPP, FFI experimentalDon Stewart <dons@galois.com>O ,Valid screen positions (vertical alignment) VHAlign of the display ,Valid screen positions (vertical alignment)  WVAlign of the display !%The type of possible display formats "#$X(The type of data that can be displayed. Y% An abstract X on-screen display object EAn xosd window can be used to display textual or numerical data on a > X11 display in a unmanaged, shaped window that appears to be F transparent. It provides a similar effect to the on-screen display ) of many televisions and video recorders &Create a new xosd window. R The argument is the maximum number of lines of text that the window can display.  Throw an exception on failure. ZCreate new xosd window R The argument is the maximum number of lines of text that the window can display. 2 Failure to create an xosd window is captured via [ 'CThrow an error (encapsulated in Either) with the current String in  (*Throw an error with the current String in  if predicate is True # when applied to result of action. )*Throw an error with the current String in  unconditionally *Bxosd_uninit destroys an existing xosd window, freeing the memory. E This is an unsafe function: as destroying an xosd object twice will * likely cause bad things to happen, so don' t do that. +(Set length of percentage and slider bar ,-.%Change the offset of the text shadow /'Change the offset of the text outline- ' The outline is drawn over the shadow. 0!Change the colour of the outline 1 Change the colour of the shadow 2DChange the number of pixels the display is offset from the position 3DChange the number of pixels the display is offset from the position 4*Change the time before display is hidden. 5!Change the colour of the display 6Change the text-display font 7Hide the display 8$Show the display after being hidden 9Display some content. :;(Get the maximum number of lines allowed <MWait until nothing is displayed. Blocks the process until no longer visible. =Scroll the display \]^>0Translate abstract to concrete formatting types _`a?0Translate abstract to concrete formatting types bcd@0Translate abstract to concrete formatting types A  !"#$%&'()*+,-./0123456789:;<=>?@A% !$#"&*'()+,-.1/023456978=:;<?@>  A   !$#""#$%&'()*+,-./0123456789:;<=>?@A-Attributes that can be set on an XOSD object BCDEFGHIJKLMNOPQRS0Create a new XOSD object with given attributes. TSet a list of attributes U4Run some code with an X on-screen display attached. & !"#$%*9<=ABCDEFGHIJKLMNOPQRSTU&%ARQPONMLKJIHGFEDCB!$#" US*T9<=ARQPONMLKJIHGFEDCBBCDEFGHIJKLMNOPQRSTUe      !"#$%&'()*+,-./0123456789:;<=>?@ABCDEFGHIJKLMNOPQ RSTUVWXYZ[\]^_`abcdefghxosd-0.2Graphics.XOSD.Base Graphics.XOSD xosd_scrollxosd_wait_until_no_displayxosd_get_number_linesxosd_get_colourxosd_is_onscreenxosd_display_sliderxosd_display_percentxosd_display_string xosd_show xosd_hide xosd_set_fontxosd_set_colourxosd_set_timeoutxosd_set_vertical_offsetxosd_set_horizontal_offsetxosd_set_shadow_colourxosd_set_outline_colourxosd_set_outline_offsetxosd_set_shadow_offsetxosd_set_align xosd_set_posxosd_set_bar_length xosd_destroy xosd_error xosd_createHAlign HAlignRight HAlignCenter HAlignLeftVAlign VAlignBottom VAlignMiddle VAlignTopFormatStringSliderPercentXOSDcreate xosdEitherIf xosdErrorIf xosdErrordestroy setBarLength setVAlign setHAlignsetShadowOffsetsetOutlineOffsetsetOutlineColorsetShadowColorsetHorizontalOffsetsetVerticalOffset setTimeoutsetColorsetFont setHidden setVisibledisplay isOnScreengetNumberOfLineswaitscroll toXOSDFormat toXOSDVAlign toXOSDHAlign AttributeDisplayScrollVisibleHiddenTimeoutFontColor ShadowColor OutlineColor OutlineOffset ShadowOffsetHOffsetVOffset BarLengthLines initializesetrunXOSD XOSD_HAlign XOSD_VAlign XOSD_FormatXOSD_ createEitherbase Data.EitherEitherxosd_percentage xosd_string xosd_sliderxosd_top xosd_middle xosd_bottom xosd_left xosd_center xosd_right