no more submodule
This commit is contained in:
@@ -0,0 +1,33 @@
|
||||
{
|
||||
"$schema": "http://json.schemastore.org/template",
|
||||
"author": "GtkSharp Contributors",
|
||||
"classifications": [
|
||||
"Gtk",
|
||||
"UI"
|
||||
],
|
||||
"name": "Gtk Dialog",
|
||||
"identity": "GtkSharp.Dialog.FSharp",
|
||||
"groupIdentity": "GtkSharp.Dialog",
|
||||
"shortName": "gtkdialog",
|
||||
"tags": {
|
||||
"language": "F#",
|
||||
"type": "item"
|
||||
},
|
||||
"sourceName": "Gtk_Dialog",
|
||||
"primaryOutputs": [
|
||||
{
|
||||
"path": "Gtk_Dialog.fs"
|
||||
},
|
||||
{
|
||||
"path": "Gtk_Dialog.glade"
|
||||
}
|
||||
],
|
||||
"defaultName": "Gtk_Dialog",
|
||||
"symbols": {
|
||||
"namespace": {
|
||||
"description": "Namespace for the generated files",
|
||||
"replaces": "GtkNamespace",
|
||||
"type": "parameter"
|
||||
}
|
||||
}
|
||||
}
|
||||
@@ -0,0 +1,13 @@
|
||||
namespace GtkNamespace
|
||||
|
||||
open Gtk
|
||||
|
||||
type Gtk_Dialog (builder : Builder) as this =
|
||||
inherit Dialog(builder.GetRawOwnedObject("Gtk_Dialog"))
|
||||
do
|
||||
this.DefaultResponse <- ResponseType.Cancel;
|
||||
this.Response.Add(fun _ ->
|
||||
this.Hide();
|
||||
)
|
||||
|
||||
new() = new Gtk_Dialog(new Builder("Gtk_Dialog.glade"))
|
||||
@@ -0,0 +1,51 @@
|
||||
<?xml version="1.0" encoding="UTF-8"?>
|
||||
<interface>
|
||||
<requires lib="gtk+" version="3.18"/>
|
||||
<object class="GtkDialog" id="Gtk_Dialog">
|
||||
<property name="can_focus">False</property>
|
||||
<property name="default_width">320</property>
|
||||
<property name="default_height">260</property>
|
||||
<property name="type_hint">dialog</property>
|
||||
<child internal-child="vbox">
|
||||
<object class="GtkBox">
|
||||
<property name="can_focus">False</property>
|
||||
<property name="orientation">vertical</property>
|
||||
<property name="spacing">2</property>
|
||||
<child internal-child="action_area">
|
||||
<object class="GtkButtonBox">
|
||||
<property name="can_focus">False</property>
|
||||
<property name="layout_style">end</property>
|
||||
<child>
|
||||
<placeholder/>
|
||||
</child>
|
||||
<child>
|
||||
<object class="GtkButton" id="button1">
|
||||
<property name="label">gtk-close</property>
|
||||
<property name="visible">True</property>
|
||||
<property name="can_focus">True</property>
|
||||
<property name="receives_default">True</property>
|
||||
<property name="use_stock">True</property>
|
||||
</object>
|
||||
<packing>
|
||||
<property name="expand">True</property>
|
||||
<property name="fill">True</property>
|
||||
<property name="position">1</property>
|
||||
</packing>
|
||||
</child>
|
||||
</object>
|
||||
<packing>
|
||||
<property name="expand">False</property>
|
||||
<property name="fill">False</property>
|
||||
<property name="position">0</property>
|
||||
</packing>
|
||||
</child>
|
||||
<child>
|
||||
<placeholder/>
|
||||
</child>
|
||||
</object>
|
||||
</child>
|
||||
<action-widgets>
|
||||
<action-widget response="-7">button1</action-widget>
|
||||
</action-widgets>
|
||||
</object>
|
||||
</interface>
|
||||
Reference in New Issue
Block a user