fltkhs-0.6.0.0: src/Fluid/Lookup.hs
module Lookup
(
boxType,
labelType,
alignmentType,
sliderType,
whenType,
inputType,
outputType,
packType,
buttonType,
browserType,
menuItemType,
menuButtonType,
dialType,
valuatorType,
scrollbarType,
counterType,
scrollType,
windowType,
fontType,
spinnerType,
flClasses,
imageExtensions
)
where
boxType :: [(String, String)]
labelType :: [(String, String)]
alignmentType :: [(String, String)]
sliderType :: [(String, String)]
whenType :: [String]
inputType :: [(String, String)]
outputType :: [(String, String)]
packType :: [(String, String)]
buttonType :: [(String, String)]
browserType :: [(String, String)]
menuItemType :: [(String, String)]
menuButtonType :: [(String, String)]
dialType :: [(String, String)]
valuatorType :: [(String, String)]
scrollbarType :: [(String, String)]
counterType :: [(String, String)]
scrollType :: [(String, String)]
windowType :: [(String, String)]
fontType :: [(String, String)]
spinnerType :: [(String, String)]
flClasses :: [(String, (String, String))]
imageExtensions :: [(String, String)]
boxType = [
("NO_BOX" ,"NoBox"),
("FLAT_BOX" ,"FlatBox"),
("UP_BOX" ,"UpBox"),
("DOWN_BOX" ,"DownBox"),
("UP_FRAME" ,"UpFrame"),
("DOWN_FRAME" ,"DownFrame"),
("THIN_UP_BOX" ,"ThinUpBox"),
("THIN_DOWN_BOX" ,"ThinDownBox"),
("THIN_UP_FRAME" ,"ThinUpFrame"),
("THIN_DOWN_FRAME" ,"ThinDownFrame"),
("ENGRAVED_BOX" ,"EngravedBox"),
("EMBOSSED_BOX" ,"EmbossedBox"),
("ENGRAVED_FRAME" ,"EngravedFrame"),
("EMBOSSED_FRAME" ,"EmbossedFrame"),
("BORDER_BOX" ,"BorderBox"),
("SHADOW_BOX" ,"ShadowBox"),
("BORDER_FRAME" ,"BorderFrame"),
("SHADOW_FRAME" ,"ShadowFrame"),
("ROUNDED_BOX" ,"RoundedBox"),
("RSHADOW_BOX" ,"RshadowBox"),
("ROUNDED_FRAME" ,"RoundedFrame"),
("RFLAT_BOX" ,"RFlatBox"),
("ROUND_UP_BOX" ,"RoundUpBox"),
("ROUND_DOWN_BOX" ,"RoundDownBox"),
("DIAMOND_UP_BOX" ,"DiamondUpBox"),
("DIAMOND_DOWN_BOX" ,"DiamondDownBox"),
("OVAL_BOX" ,"OvalBox"),
("OSHADOW_BOX" ,"OshadowBox"),
("OVAL_FRAME" ,"OvalFrame"),
("OFLAT_BOX" ,"FloatBox"),
("PLASTIC_UP_BOX" ,"PlasticUpBox"),
("PLASTIC_DOWN_BOX" ,"PlasticDownBox"),
("PLASTIC_UP_FRAME" ,"PlasticUpFrame"),
("PLASTIC_DOWN_FRAME" ,"PlasticDownFrame"),
("PLASTIC_THIN_UP_BOX" ,"PlasticThinUpBox"),
("PLASTIC_THIN_DOWN_BOX" ,"PlasticThinDownBox"),
("PLASTIC_ROUND_UP_BOX" ,"PlasticRoundUpBox"),
("PLASTIC_ROUND_DOWN_BOX" ,"PlasticRoundDownBox"),
("GTK_UP_BOX" ,"GtkUpBox"),
("GTK_DOWN_BOX" ,"GtkDownBox"),
("GTK_UP_FRAME" ,"GtkUpFrame"),
("GTK_DOWN_FRAME" ,"GtkDownFrame"),
("GTK_THIN_UP_BOX" ,"GtkThinUpBox"),
("GTK_THIN_DOWN_BOX" ,"GtkThinDownBox"),
("GTK_THIN_UP_FRAME" ,"GtkThinUpFrame"),
("GTK_THIN_DOWN_FRAME" ,"GtkThinDownFrame"),
("GTK_ROUND_UP_BOX" ,"GtkRoundUpBox"),
("GTK_ROUND_DOWN_BOX" ,"GtkRoundDownBox"),
("GLEAM_UP_BOX" ,"GleamUpBox"),
("GLEAM_DOWN_BO" ,"GleamDownBox"),
("GLEAM_UP_FRAME" ,"GleamUpFrame"),
("GLEAM_DOWN_FRAME" ,"GleamDownFrame"),
("GLEAM_THIN_UP_BOX" ,"GleamThinUpBox"),
("GLEAM_THIN_DOWN_BOX" ,"GleamThinDownBox"),
("GLEAM_ROUND_UP_BOX" ,"GleamRoundUpBox"),
("GLEAM_ROUND_DOWN_BOX" ,"GleamRoundDownBox"),
("FREE_BOXTYPE" ,"FreeBoxtype")
]
labelType = [
("NORMAL_LABEL" ,"NormalLabelType"),
("SHADOW_LABEL" ,"ShadowLabelType"),
("ENGRAVED_LABEL" ,"EngravedLabelType"),
("EMBOSSED_LABEL" ,"EmbossedLabelType"),
("NO_LABEL" ,"NoLabelType")
]
alignmentType = [
("FL_ALIGN_CENTER" ,"alignCenter"),
("FL_ALIGN_TOP" ,"alignTop"),
("FL_ALIGN_BOTTOM" ,"alignBottom"),
("FL_ALIGN_LEFT" ,"alignLeft"),
("FL_ALIGN_RIGHT" ,"alignRight"),
("FL_ALIGN_INSIDE" ,"alignInside"),
("FL_ALIGN_CLIP" ,"alignClip"),
("FL_ALIGN_WRAP" ,"alignWrap"),
("FL_ALIGN_TEXT_OVER_IMAGE" ,"alignTextOverImage"),
("FL_ALIGN_TOP_LEFT" ,"alignTopLeft"),
("FL_ALIGN_TOP_RIGHT" ,"alignTopRight"),
("FL_ALIGN_BOTTOM_LEFT" ,"alignBottomLeft"),
("FL_ALIGN_BOTTOM_RIGHT" ,"alignBottomRight"),
("FL_ALIGN_LEFT_TOP" ,"alignLeftTop"),
("FL_ALIGN_RIGHT_TOP" ,"alignRightTop"),
("FL_ALIGN_LEFT_BOTTOM" ,"alignLeftBottom"),
("FL_ALIGN_RIGHT_BOTTOM" ,"alignRightBottom")
]
sliderType = [
("Vertical" ,"VertSliderType"),
("Horizontal" ,"HorSliderType"),
("Vert Fill" ,"VertFillSliderType"),
("Horz Fill" ,"HorFillSliderType"),
("Vert Knob" ,"VertNiceSliderType"),
("Horz Knob" ,"HorNiceSliderType")
]
whenType = [
"WhenNever"
,"WhenChanged"
,"WhenNotChanged"
,"WhenRelease"
,"WhenReleaseAlways"
,"WhenEnterKey"
,"WhenEnterKeyAlways"
,"WhenEnterKeyChanged"
]
inputType = [
("Normal", "FlNormalInput"),
("Multiline", "FlMultilineInput"),
("Secret","FlSecretInput"),
("Int","FlIntInput"),
("Float", "FlFloatInput")
]
outputType = [
("Normal", "FlNormalOutput"),
("Multiline", "FlMultilineOutput")
]
packType = [
("HORIZONTAL", "PackHorizontal"),
("VERTICAL", "PackVertical")
]
buttonType = [
("Normal","NormalButtonType"),
("Toggle","ToggleButtonType"),
("Radio","RadioButtonType")
]
browserType = [
("No Select","NormalBrowserType"),
("Select","SelectBrowserType"),
("Hold","HoldBrowserType"),
("Multi","MultiBrowserType")
]
menuItemType = [
("Normal","MenuItemNormal"),
("Toggle","MenuItemToggle"),
("Radio","MenuItemRadio")
]
menuButtonType = [
("normal","NormalMenuButton"),
("popup1","Popup1MenuButton"),
("popup2","Popup2MenuButton"),
("popup3","Popup3MenuButton"),
("popup12","Popup12MenuButton"),
("popup23","Popup23MenuButton"),
("popup13","Popup13MenuButton"),
("popup123","Popup123MenuButton")
]
dialType = [
("Dot", "NormalDialType"),
("Line","LineDialType"),
("Fill","FillDialType")
]
valuatorType = [
("Vertical", "VerticalValuatorType"),
("Horizontal", "HorizontalValuatorType")
]
scrollbarType = [
("Vertical","VertScrollbar"),
("Horizontal","HorScrollbar")
]
counterType = [
("Normal","NormalCounterType"),
("Simple","SimpleCounterType")
]
scrollType =
[("BOTH","BothScrollBar")
,("HORIZONTAL","HorizontalScrollBar")
,("VERTICAL","VerticalScrollBar")
,("HORIZONTAL_ALWAYS","HorizontalAlwaysScrollBar")
,("VERTICAL_ALWAYS","VerticalAlwaysScrollBar")
,("BOTH_ALWAYS","BothAlwaysScrollBar")]
windowType =
[("Single","SingleWindowType"),("Double","DoubleWindowType")]
fontType =
[("0","helvetica")
,("1","helveticaBold")
,("2","helveticaItalic")
,("3","helveticaBoldItalic")
,("4","courier")
,("5","courierBold")
,("6","courierItalic")
,("7","courierBoldItalic")
,("8","times")
,("9","timesBold")
,("10","timesItalic")
,("11","timesBoldItalic")
,("12","symbol")
,("13","screen")
,("14","screenbold")
,("15","zapfDingbats")]
spinnerType = [
("Integer","IntSpinnerType"),
("Float", "FloatSpinnerType")
]
flClasses =
[("Fl_Slider",("Slider", "sliderNew"))
,("Fl_Value_Slider",("ValueSlider", "valueSliderNew"))
,("Fl_Roller",("Roller", "rollerNew"))
,("Fl_Box",("Box", "boxNew"))
,("Fl_Scrollbar",("Scrollbar", "scrollbarNew"))
,("Fl_Adjuster",("Adjuster", "adjusterNew"))
,("Fl_Counter",("Counter", "counterNew"))
,("Fl_Roller",("Roller", "rollerNew"))
,("Fl_Value_Input",("ValueInput", "valueInputNew"))
,("Fl_Value_Output",("ValueOutput", "valueOutputNew"))
,("Fl_Spinner",("Spinner", "spinnerNew"))
,("Fl_Dial",("Dial", "dialNew"))
,("Fl_Button",("Button", "buttonNew"))
,("Fl_Output",("Output", "outputNew"))
,("MenuItem",("MenuItem", "menuItemNew"))
,("Submenu",("MenuItem", "menuItemNew"))
,("Fl_Input",("Input", "inputNew"))
,("Fl_Clock",("Clock", "clockNew"))
,("Fl_Return_Button",("ReturnButton", "returnButtonNew"))
,("Fl_Light_Button",("LightButton", "lightButtonNew"))
,("Fl_Check_Button",("CheckButton", "checkButtonNew"))
,("Fl_Repeat_Button",("RepeatButton", "repeatButtonNew"))
,("Fl_Round_Button",("RoundButton", "roundButtonNew"))
,("Fl_Window",("Window", "windowNew"))
,("Fl_Group",("Group", "groupNew"))
,("Fl_Tree",("Tree", "treeNew"))
,("Fl_Wizard",("Wizard", "wizardNew"))
,("Fl_Pack",("Pack", "packNew"))
,("Fl_Table",("Table", "tableNew"))
,("Fl_Scroll",("Scroll", "scrollNew"))
,("Fl_Menu_Bar",("MenuBar", "sysMenuBarNew"))
,("Fl_Menu_Button",("MenuButton", "menuButtonNew"))
,("Fl_Choice",("Choice", "choiceNew"))
,("Fl_Browser",("Browser", "browserNew" ))
,("Fl_Tabs",("Tabs", "tabsNew"))
,("Fl_Progress", ("Progress", "progressNew"))
,("Fl_File_Input", ("FileInput", "fileInputNew"))
,("Fl_Text_Display", ("TextDisplay", "textDisplayNew"))
,("Fl_Text_Editor", ("TextEditor", "textEditorNew"))
,("Fl_Tile", ("Tile", "tileNew"))
,("Fl_File_Browser", ("FileBrowser", "fileBrowserNew"))
]
imageExtensions =
[(".bm", "bmpImageNew")
,(".bmp", "bmpImageNew")
,(".gif", "gifImageNew")
,(".jpg", "jpegImageNew")
,(".pbm", "pnmImageNew")
,(".pgm", "pnmImageNew")
,(".png", "pngImageNew")
,(".ppm", "pnmImageNew")
,(".xbm", "xbmImageNew")
,(".xpm", "xpmImageNew")
]