Views.Control.Style.Constant.Wrap = 64 : L0.Integer
Views.Control.Style.Constant.HScroll = 256 : L0.Integer
Views.Control.Style.Constant.VScroll = 512 : L0.Integer
+Views.Control.Style.Constant.Horizontal = 256 : L0.Integer
+Views.Control.Style.Constant.Vertical = 512 : L0.Integer
Views.Control.Style.Constant.Border = 2048 : L0.Integer
Views.Control.Style.Constant.FullSelection = 65536 : L0.Integer
Views.Control.Style.Constant.NoFocus = 524288 : L0.Integer
Views.Browser <T Views.Control
>-- Views.Browser.document ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
>-- Views.Browser.variable ==> "Variable" <R SG.Node.HasProperty : L0.FunctionalRelation
+ >-- Views.Browser.locationChanging ==> "a -> Boolean" <R SG.Node.HasProperty : L0.FunctionalRelation
Views.WikiBrowser <T Views.Control
>-- Views.WikiBrowser.document ==> "String" <R SG.Node.HasProperty : L0.FunctionalRelation
Views.GridLayout.GridData.END = 3 : L0.Integer
Views.GridLayout.GridData.FILL = 4 : L0.Integer
+Views.RowLayout <T Views.Layout
+ @L0.assert L0.HasValueType "RowLayout"
+ @L0.assert
+ L0.ConvertsToValueWith
+ Views.Functions.rowLayout : L0.ExternalValue
+ >-- Views.RowLayout.type ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.spacing ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.center ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.fill ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.justify ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.pack ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.wrap ==> "Boolean" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.extendedMargins ==> "a" <R L0.HasProperty : L0.FunctionalRelation
+ @L0.assert Views.RowLayout.type Views.Control.Style.Constant.Horizontal
+ @L0.assert Views.RowLayout.spacing 3
+ @L0.assert Views.RowLayout.center false
+ @L0.assert Views.RowLayout.fill false
+ @L0.assert Views.RowLayout.justify false
+ @L0.assert Views.RowLayout.pack true
+ @L0.assert Views.RowLayout.wrap true
+ @L0.assert Views.RowLayout.extendedMargins
+ (3,3,3,3) : Views.RowLayout.ExtendedMargins
+
+Views.RowLayout.ExtendedMargins <T L0.Literal
+ @L0.assert L0.HasDataType $(Integer,Integer,Integer,Integer)
+
+Views.RowLayout.RowData <T L0.Value
+ @L0.assert L0.HasValueType "RowData"
+ @L0.assert
+ L0.ConvertsToValueWith
+ Views.Functions.rowData : L0.ExternalValue
+ >-- Views.RowLayout.RowData.width ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
+ >-- Views.RowLayout.RowData.height ==> "Integer" <R L0.HasProperty : L0.FunctionalRelation
+ @L0.assert Views.RowLayout.RowData.width -1
+ @L0.assert Views.RowLayout.RowData.height -1
+
Views.SingleColumn
@Views.Explorer.Column.full "single" "Entries" "LEFT" 150 "Entries" true 1