diff --git a/lib/linguist/languages.yml b/lib/linguist/languages.yml index 42ce978d..dc824387 100644 --- a/lib/linguist/languages.yml +++ b/lib/linguist/languages.yml @@ -999,6 +999,13 @@ Ioke: extensions: - .ik +Isabelle: + type: programming + lexer: Text only + color: "#fdcd00" + extensions: + - .thy + J: type: programming lexer: Text only @@ -2289,6 +2296,7 @@ XML: - .launch - .mxml - .nproj + - .nuspec - .osm - .plist - .pluginspec @@ -2360,6 +2368,17 @@ XSLT: - .xslt - .xsl +Xojo: + type: programming + lexer: VB.net + extensions: + - .xojo_code + - .xojo_menu + - .xojo_report + - .xojo_script + - .xojo_toolbar + - .xojo_window + Xtend: type: programming extensions: diff --git a/lib/linguist/samples.json b/lib/linguist/samples.json index 7e578064..27a46251 100644 --- a/lib/linguist/samples.json +++ b/lib/linguist/samples.json @@ -51,6 +51,7 @@ ".fsproj", ".ivy", ".nproj", + ".nuspec", ".pluginspec", ".targets", ".vbproj", @@ -127,6 +128,14 @@ "KRL": [ ".krl" ], + "Xojo": [ + ".xojo_code", + ".xojo_menu", + ".xojo_report", + ".xojo_script", + ".xojo_toolbar", + ".xojo_window" + ], "Nimrod": [ ".nim" ], @@ -513,6 +522,9 @@ "Parrot Assembly": [ ".pasm" ], + "Isabelle": [ + ".thy" + ], "Protocol Buffer": [ ".proto" ], @@ -753,8 +765,8 @@ "Rakefile" ] }, - "tokens_total": 637393, - "languages_total": 818, + "tokens_total": 638387, + "languages_total": 826, "tokens": { "Stylus": { "border": 6, @@ -5000,13 +5012,13 @@ "nexted": 3 }, "XML": { - "": 11, - "version=": 20, + "": 12, + "version=": 21, "encoding=": 8, "": 7, "ToolsVersion=": 6, "DefaultTargets=": 5, - "xmlns=": 7, + "xmlns=": 8, "": 21, "Project=": 12, "Condition=": 37, @@ -5021,7 +5033,7 @@ "{": 6, "D377F": 1, "-": 90, - "A": 20, + "A": 21, "A798": 1, "B3FD04C": 1, "}": 6, @@ -5071,7 +5083,7 @@ "": 2, "": 2, "pdbonly": 3, - "false": 10, + "false": 11, "": 7, "": 7, "Release": 6, @@ -5142,7 +5154,7 @@ "module=": 3, "revision=": 3, "status=": 1, - "": 3, + "": 4, "this": 77, "is": 123, "a": 128, @@ -5153,7 +5165,7 @@ "java": 1, "standard": 1, "application": 2, - "": 3, + "": 4, "": 1, "": 1, "name=": 270, @@ -5370,7 +5382,7 @@ "loader/saver": 1, "FreeMedForms.": 1, "": 1, - "http": 1, + "http": 2, "//www.freemedforms.com/": 1, "": 1, "": 1, @@ -5387,7 +5399,7 @@ "": 1, "": 1, "": 120, - "": 120, + "": 121, "IObservedChange": 5, "generic": 3, "interface": 4, @@ -5414,14 +5426,14 @@ "casting": 1, "between": 15, "changes.": 2, - "": 121, + "": 122, "": 120, "object": 42, "has": 16, "raised": 1, "change.": 12, "name": 7, - "of": 75, + "of": 76, "property": 74, "changed": 18, "on": 35, @@ -5517,7 +5529,7 @@ "itself": 2, "changes": 13, ".": 20, - "It": 1, + "It": 2, "important": 6, "implement": 5, "Changing/Changed": 1, @@ -6276,7 +6288,43 @@ "": 4, "instanceId=": 4, "": 4, - "": 1 + "": 1, + "": 1, + "": 1, + "": 1, + "Sample": 2, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "Hugh": 2, + "Bot": 2, + "": 1, + "": 1, + "": 1, + "package": 1, + "nuget": 1, + "just": 1, + "works": 1, + "": 1, + "//hubot.github.com": 1, + "": 1, + "": 1, + "": 1, + "https": 1, + "//github.com/github/hubot/LICENSEmd": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "": 1, + "src=": 1, + "target=": 1, + "": 1, + "": 1 }, "MTML": { "<$mt:Var>": 15, @@ -22720,6 +22768,188 @@ ")": 1, ";": 1 }, + "Xojo": { + "#tag": 88, + "Menu": 2, + "Begin": 23, + "MainMenuBar": 1, + "MenuItem": 11, + "FileMenu": 1, + "SpecialMenu": 13, + "Text": 13, + "Index": 14, + "-": 14, + "AutoEnable": 13, + "True": 46, + "Visible": 41, + "QuitMenuItem": 1, + "FileQuit": 1, + "ShortcutKey": 6, + "Shortcut": 6, + "End": 27, + "EditMenu": 1, + "EditUndo": 1, + "MenuModifier": 5, + "EditSeparator1": 1, + "EditCut": 1, + "EditCopy": 1, + "EditPaste": 1, + "EditClear": 1, + "EditSeparator2": 1, + "EditSelectAll": 1, + "UntitledSeparator": 1, + "AppleMenuItem": 1, + "AboutItem": 1, + "EndMenu": 1, + "Report": 2, + "BillingReport": 1, + "Compatibility": 2, + "Units": 1, + "Width": 3, + "PageHeader": 1, + "Type": 34, + "Height": 5, + "Body": 1, + "PageFooter": 1, + "EndReport": 1, + "ReportCode": 1, + "EndReportCode": 1, + "Dim": 3, + "dbFile": 3, + "As": 4, + "FolderItem": 1, + "db": 1, + "New": 1, + "SQLiteDatabase": 1, + "GetFolderItem": 1, + "(": 7, + ")": 7, + "db.DatabaseFile": 1, + "If": 4, + "db.Connect": 1, + "Then": 1, + "db.SQLExecute": 2, + "_": 1, + "+": 5, + "db.Error": 1, + "then": 1, + "MsgBox": 3, + "db.ErrorMessage": 2, + "db.Rollback": 1, + "Else": 2, + "db.Commit": 1, + "Class": 3, + "Protected": 1, + "App": 1, + "Inherits": 1, + "Application": 1, + "Constant": 3, + "Name": 31, + "kEditClear": 1, + "String": 3, + "Dynamic": 3, + "False": 14, + "Default": 9, + "Scope": 4, + "Public": 3, + "#Tag": 5, + "Instance": 5, + "Platform": 5, + "Windows": 2, + "Language": 5, + "Definition": 5, + "Linux": 2, + "EndConstant": 3, + "kFileQuit": 1, + "kFileQuitShortcut": 1, + "Mac": 1, + "OS": 1, + "ViewBehavior": 2, + "EndViewBehavior": 2, + "EndClass": 1, + "Toolbar": 2, + "MyToolbar": 1, + "ToolButton": 2, + "FirstItem": 1, + "Caption": 3, + "HelpTag": 3, + "Style": 2, + "SecondItem": 1, + "EndToolbar": 1, + "Window": 2, + "Window1": 1, + "BackColor": 1, + "&": 1, + "cFFFFFF00": 1, + "Backdrop": 1, + "CloseButton": 1, + "Composite": 1, + "Frame": 1, + "FullScreen": 1, + "FullScreenButton": 1, + "HasBackColor": 1, + "ImplicitInstance": 1, + "LiveResize": 1, + "MacProcID": 1, + "MaxHeight": 1, + "MaximizeButton": 1, + "MaxWidth": 1, + "MenuBar": 1, + "MenuBarVisible": 1, + "MinHeight": 1, + "MinimizeButton": 1, + "MinWidth": 1, + "Placement": 1, + "Resizeable": 1, + "Title": 1, + "PushButton": 1, + "HelloWorldButton": 2, + "AutoDeactivate": 1, + "Bold": 1, + "ButtonStyle": 1, + "Cancel": 1, + "Enabled": 1, + "InitialParent": 1, + "Italic": 1, + "Left": 1, + "LockBottom": 1, + "LockedInPosition": 1, + "LockLeft": 1, + "LockRight": 1, + "LockTop": 1, + "TabIndex": 1, + "TabPanelIndex": 1, + "TabStop": 1, + "TextFont": 1, + "TextSize": 1, + "TextUnit": 1, + "Top": 1, + "Underline": 1, + "EndWindow": 1, + "WindowCode": 1, + "EndWindowCode": 1, + "Events": 1, + "Event": 1, + "Sub": 2, + "Action": 1, + "total": 4, + "Integer": 2, + "For": 1, + "i": 2, + "To": 1, + "Next": 1, + "Str": 1, + "EndEvent": 1, + "EndEvents": 1, + "ViewProperty": 28, + "true": 26, + "Group": 28, + "InitialValue": 23, + "EndViewProperty": 28, + "EditorType": 14, + "EnumValues": 2, + "EndEnumValues": 2 + }, "Nimrod": { "echo": 1 }, @@ -46542,6 +46772,87 @@ "say": 1, "end": 1 }, + "Isabelle": { + "theory": 1, + "HelloWorld": 3, + "imports": 1, + "Main": 1, + "begin": 1, + "section": 1, + "{": 5, + "*Playing": 1, + "around": 1, + "with": 2, + "Isabelle*": 1, + "}": 5, + "text": 4, + "*": 4, + "creating": 1, + "a": 2, + "lemma": 2, + "the": 2, + "name": 1, + "hello_world*": 1, + "hello_world": 2, + "by": 9, + "simp": 8, + "thm": 1, + "defining": 1, + "string": 1, + "constant": 1, + "definition": 1, + "where": 1, + "theorem": 2, + "(": 5, + "fact": 1, + "List.rev_rev_ident": 4, + ")": 5, + "*now": 1, + "we": 1, + "delete": 1, + "already": 1, + "proven": 1, + "lema": 1, + "and": 1, + "show": 2, + "it": 2, + "hand*": 1, + "declare": 1, + "[": 1, + "del": 1, + "]": 1, + "hide_fact": 1, + "corollary": 2, + "apply": 1, + "add": 1, + "HelloWorld_def": 1, + "done": 1, + "*does": 1, + "hold": 1, + "in": 1, + "general": 1, + "rev_rev_ident": 2, + "proof": 1, + "induction": 1, + "l": 2, + "case": 3, + "Nil": 1, + "thus": 1, + "next": 1, + "Cons": 1, + "ls": 1, + "assume": 1, + "IH": 2, + "have": 2, + "hence": 1, + "also": 1, + "finally": 1, + "using": 1, + "qed": 1, + "fastforce": 1, + "intro": 1, + "end": 1 + }, "Protocol Buffer": { "package": 1, "tutorial": 1, @@ -68437,7 +68748,7 @@ "Dogescript": 30, "Markdown": 1, "Perl": 17979, - "XML": 8185, + "XML": 8236, "MTML": 93, "Lasso": 9849, "Max": 714, @@ -68455,6 +68766,7 @@ "VHDL": 42, "Literate CoffeeScript": 275, "KRL": 25, + "Xojo": 807, "Nimrod": 1, "Pascal": 30, "C#": 278, @@ -68566,6 +68878,7 @@ "VCL": 545, "Smalltalk": 423, "Parrot Assembly": 6, + "Isabelle": 136, "Protocol Buffer": 63, "SQL": 1485, "Nemerle": 17, @@ -68629,7 +68942,7 @@ "Dogescript": 1, "Markdown": 1, "Perl": 15, - "XML": 13, + "XML": 14, "MTML": 1, "Lasso": 4, "Max": 3, @@ -68647,6 +68960,7 @@ "VHDL": 1, "Literate CoffeeScript": 1, "KRL": 1, + "Xojo": 6, "Nimrod": 1, "Pascal": 1, "C#": 2, @@ -68758,6 +69072,7 @@ "VCL": 2, "Smalltalk": 3, "Parrot Assembly": 1, + "Isabelle": 1, "Protocol Buffer": 1, "SQL": 5, "Nemerle": 1, @@ -68808,5 +69123,5 @@ "Python": 9, "Handlebars": 2 }, - "md5": "c6118389c68035913e7562d8a8e6617d" + "md5": "e0387ec3b9970bf9c14269c166b0cd81" } \ No newline at end of file diff --git a/samples/Isabelle/HelloWorld.thy b/samples/Isabelle/HelloWorld.thy new file mode 100644 index 00000000..7c814dae --- /dev/null +++ b/samples/Isabelle/HelloWorld.thy @@ -0,0 +1,46 @@ +theory HelloWorld +imports Main +begin + +section{*Playing around with Isabelle*} + +text{* creating a lemma with the name hello_world*} +lemma hello_world: "True" by simp + +(*inspecting it*) +thm hello_world + +text{* defining a string constant HelloWorld *} + +definition HelloWorld :: "string" where + "HelloWorld \ ''Hello World!''" + +(*reversing HelloWorld twice yilds HelloWorld again*) +theorem "rev (rev HelloWorld) = HelloWorld" + by (fact List.rev_rev_ident) + +text{*now we delete the already proven List.rev_rev_ident lema and show it by hand*} +declare List.rev_rev_ident[simp del] +hide_fact List.rev_rev_ident + +(*It's trivial since we can just 'execute' it*) +corollary "rev (rev HelloWorld) = HelloWorld" + apply(simp add: HelloWorld_def) + done + +text{*does it hold in general?*} +theorem rev_rev_ident:"rev (rev l) = l" + proof(induction l) + case Nil thus ?case by simp + next + case (Cons l ls) + assume IH: "rev (rev ls) = ls" + have "rev (l#ls) = (rev ls) @ [l]" by simp + hence "rev (rev (l#ls)) = rev ((rev ls) @ [l])" by simp + also have "\ = [l] @ rev (rev ls)" by simp + finally show "rev (rev (l#ls)) = l#ls" using IH by simp + qed + +corollary "\(l::string). rev (rev l) = l" by(fastforce intro: rev_rev_ident) + +end diff --git a/samples/XML/sample.nuspec b/samples/XML/sample.nuspec new file mode 100644 index 00000000..238c325a --- /dev/null +++ b/samples/XML/sample.nuspec @@ -0,0 +1,21 @@ + + + + Sample + Sample + 0.101.0 + Hugh Bot + Hugh Bot + A package of nuget + + It just works + + http://hubot.github.com + + https://github.com/github/hubot/LICENSEmd + false + + + + + diff --git a/samples/Xojo/App.xojo_code b/samples/Xojo/App.xojo_code new file mode 100644 index 00000000..4b7d02a5 --- /dev/null +++ b/samples/Xojo/App.xojo_code @@ -0,0 +1,22 @@ +#tag Class +Protected Class App +Inherits Application + #tag Constant, Name = kEditClear, Type = String, Dynamic = False, Default = \"&Delete", Scope = Public + #Tag Instance, Platform = Windows, Language = Default, Definition = \"&Delete" + #Tag Instance, Platform = Linux, Language = Default, Definition = \"&Delete" + #tag EndConstant + + #tag Constant, Name = kFileQuit, Type = String, Dynamic = False, Default = \"&Quit", Scope = Public + #Tag Instance, Platform = Windows, Language = Default, Definition = \"E&xit" + #tag EndConstant + + #tag Constant, Name = kFileQuitShortcut, Type = String, Dynamic = False, Default = \"", Scope = Public + #Tag Instance, Platform = Mac OS, Language = Default, Definition = \"Cmd+Q" + #Tag Instance, Platform = Linux, Language = Default, Definition = \"Ctrl+Q" + #tag EndConstant + + + #tag ViewBehavior + #tag EndViewBehavior +End Class +#tag EndClass diff --git a/samples/Xojo/BillingReport.xojo_report b/samples/Xojo/BillingReport.xojo_report new file mode 100644 index 00000000..fae10085 --- /dev/null +++ b/samples/Xojo/BillingReport.xojo_report @@ -0,0 +1,23 @@ +#tag Report +Begin Report BillingReport + Compatibility = "" + Units = 0 + Width = 8.5 + Begin PageHeader + Type = 1 + Height = 1.0 + End + Begin Body + Type = 3 + Height = 2.0 + End + Begin PageFooter + Type = 5 + Height = 1.0 + End +End +#tag EndReport + +#tag ReportCode +#tag EndReportCode + diff --git a/samples/Xojo/MainMenuBar.xojo_menu b/samples/Xojo/MainMenuBar.xojo_menu new file mode 100644 index 00000000..0634681c --- /dev/null +++ b/samples/Xojo/MainMenuBar.xojo_menu @@ -0,0 +1,112 @@ +#tag Menu +Begin Menu MainMenuBar + Begin MenuItem FileMenu + SpecialMenu = 0 + Text = "&File" + Index = -2147483648 + AutoEnable = True + Visible = True + Begin QuitMenuItem FileQuit + SpecialMenu = 0 + Text = "#App.kFileQuit" + Index = -2147483648 + ShortcutKey = "#App.kFileQuitShortcut" + Shortcut = "#App.kFileQuitShortcut" + AutoEnable = True + Visible = True + End + End + Begin MenuItem EditMenu + SpecialMenu = 0 + Text = "&Edit" + Index = -2147483648 + AutoEnable = True + Visible = True + Begin MenuItem EditUndo + SpecialMenu = 0 + Text = "&Undo" + Index = -2147483648 + ShortcutKey = "Z" + Shortcut = "Cmd+Z" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditSeparator1 + SpecialMenu = 0 + Text = "-" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin MenuItem EditCut + SpecialMenu = 0 + Text = "Cu&t" + Index = -2147483648 + ShortcutKey = "X" + Shortcut = "Cmd+X" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditCopy + SpecialMenu = 0 + Text = "&Copy" + Index = -2147483648 + ShortcutKey = "C" + Shortcut = "Cmd+C" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditPaste + SpecialMenu = 0 + Text = "&Paste" + Index = -2147483648 + ShortcutKey = "V" + Shortcut = "Cmd+V" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem EditClear + SpecialMenu = 0 + Text = "#App.kEditClear" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin MenuItem EditSeparator2 + SpecialMenu = 0 + Text = "-" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin MenuItem EditSelectAll + SpecialMenu = 0 + Text = "Select &All" + Index = -2147483648 + ShortcutKey = "A" + Shortcut = "Cmd+A" + MenuModifier = True + AutoEnable = True + Visible = True + End + Begin MenuItem UntitledSeparator + SpecialMenu = 0 + Text = "-" + Index = -2147483648 + AutoEnable = True + Visible = True + End + Begin AppleMenuItem AboutItem + SpecialMenu = 0 + Text = "About This App..." + Index = -2147483648 + AutoEnable = True + Visible = True + End + End +End +#tag EndMenu diff --git a/samples/Xojo/MyToolbar.xojo_toolbar b/samples/Xojo/MyToolbar.xojo_toolbar new file mode 100644 index 00000000..02dfbf0a --- /dev/null +++ b/samples/Xojo/MyToolbar.xojo_toolbar @@ -0,0 +1,14 @@ +#tag Toolbar +Begin Toolbar MyToolbar + Begin ToolButton FirstItem + Caption = "First Item" + HelpTag = "" + Style = 0 + End + Begin ToolButton SecondItem + Caption = "Second Item" + HelpTag = "" + Style = 0 + End +End +#tag EndToolbar diff --git a/samples/Xojo/Window1.xojo_window b/samples/Xojo/Window1.xojo_window new file mode 100644 index 00000000..c52fd843 --- /dev/null +++ b/samples/Xojo/Window1.xojo_window @@ -0,0 +1,304 @@ +#tag Window +Begin Window Window1 + BackColor = &cFFFFFF00 + Backdrop = 0 + CloseButton = True + Compatibility = "" + Composite = False + Frame = 0 + FullScreen = False + FullScreenButton= False + HasBackColor = False + Height = 400 + ImplicitInstance= True + LiveResize = True + MacProcID = 0 + MaxHeight = 32000 + MaximizeButton = True + MaxWidth = 32000 + MenuBar = 1153981589 + MenuBarVisible = True + MinHeight = 64 + MinimizeButton = True + MinWidth = 64 + Placement = 0 + Resizeable = True + Title = "Sample App" + Visible = True + Width = 600 + Begin PushButton HelloWorldButton + AutoDeactivate = True + Bold = False + ButtonStyle = "0" + Cancel = False + Caption = "Push Me" + Default = True + Enabled = True + Height = 20 + HelpTag = "" + Index = -2147483648 + InitialParent = "" + Italic = False + Left = 260 + LockBottom = False + LockedInPosition= False + LockLeft = True + LockRight = False + LockTop = True + Scope = 0 + TabIndex = 0 + TabPanelIndex = 0 + TabStop = True + TextFont = "System" + TextSize = 0.0 + TextUnit = 0 + Top = 32 + Underline = False + Visible = True + Width = 80 + End +End +#tag EndWindow + +#tag WindowCode +#tag EndWindowCode + +#tag Events HelloWorldButton + #tag Event + Sub Action() + Dim total As Integer + + For i As Integer = 0 To 10 + total = total + i + Next + + MsgBox "Hello World! " + Str(total) + End Sub + #tag EndEvent +#tag EndEvents +#tag ViewBehavior + #tag ViewProperty + Name="BackColor" + Visible=true + Group="Appearance" + InitialValue="&hFFFFFF" + Type="Color" + #tag EndViewProperty + #tag ViewProperty + Name="Backdrop" + Visible=true + Group="Appearance" + Type="Picture" + EditorType="Picture" + #tag EndViewProperty + #tag ViewProperty + Name="CloseButton" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Composite" + Visible=true + Group="Appearance" + InitialValue="False" + Type="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Frame" + Visible=true + Group="Appearance" + InitialValue="0" + Type="Integer" + EditorType="Enum" + #tag EnumValues + "0 - Document" + "1 - Movable Modal" + "2 - Modal Dialog" + "3 - Floating Window" + "4 - Plain Box" + "5 - Shadowed Box" + "6 - Rounded Window" + "7 - Global Floating Window" + "8 - Sheet Window" + "9 - Metal Window" + "10 - Drawer Window" + "11 - Modeless Dialog" + #tag EndEnumValues + #tag EndViewProperty + #tag ViewProperty + Name="FullScreen" + Group="Appearance" + InitialValue="False" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="FullScreenButton" + Visible=true + Group="Appearance" + InitialValue="False" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="HasBackColor" + Visible=true + Group="Appearance" + InitialValue="False" + Type="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Height" + Visible=true + Group="Position" + InitialValue="400" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="ImplicitInstance" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Interfaces" + Visible=true + Group="ID" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="LiveResize" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MacProcID" + Visible=true + Group="Appearance" + InitialValue="0" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MaxHeight" + Visible=true + Group="Position" + InitialValue="32000" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MaximizeButton" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MaxWidth" + Visible=true + Group="Position" + InitialValue="32000" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MenuBar" + Visible=true + Group="Appearance" + Type="MenuBar" + EditorType="MenuBar" + #tag EndViewProperty + #tag ViewProperty + Name="MenuBarVisible" + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MinHeight" + Visible=true + Group="Position" + InitialValue="64" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="MinimizeButton" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="MinWidth" + Visible=true + Group="Position" + InitialValue="64" + Type="Integer" + #tag EndViewProperty + #tag ViewProperty + Name="Name" + Visible=true + Group="ID" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="Placement" + Visible=true + Group="Position" + InitialValue="0" + Type="Integer" + EditorType="Enum" + #tag EnumValues + "0 - Default" + "1 - Parent Window" + "2 - Main Screen" + "3 - Parent Window Screen" + "4 - Stagger" + #tag EndEnumValues + #tag EndViewProperty + #tag ViewProperty + Name="Resizeable" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Super" + Visible=true + Group="ID" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="Title" + Visible=true + Group="Appearance" + InitialValue="Untitled" + Type="String" + #tag EndViewProperty + #tag ViewProperty + Name="Visible" + Visible=true + Group="Appearance" + InitialValue="True" + Type="Boolean" + EditorType="Boolean" + #tag EndViewProperty + #tag ViewProperty + Name="Width" + Visible=true + Group="Position" + InitialValue="600" + Type="Integer" + #tag EndViewProperty +#tag EndViewBehavior diff --git a/samples/Xojo/database.xojo_script b/samples/Xojo/database.xojo_script new file mode 100644 index 00000000..1f0f59cc --- /dev/null +++ b/samples/Xojo/database.xojo_script @@ -0,0 +1,17 @@ +Dim dbFile As FolderItem +Dim db As New SQLiteDatabase +dbFile = GetFolderItem("Employees.sqlite") +db.DatabaseFile = dbFile +If db.Connect Then + db.SQLExecute("BEGIN TRANSACTION") + db.SQLExecute ("INSERT INTO Employees (Name,Job,YearJoined) VALUES "_ + +"('Dr.Strangelove','Advisor',1962)") + If db.Error then + MsgBox("Error: " + db.ErrorMessage) + db.Rollback + Else + db.Commit + End If +Else + MsgBox("The database couldn't be opened. Error: " + db.ErrorMessage) +End If