]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtksourceview/gtkSourceView.props
reorganization continues ...
[helm.git] / helm / DEVEL / lablgtksourceview / gtkSourceView.props
diff --git a/helm/DEVEL/lablgtksourceview/gtkSourceView.props b/helm/DEVEL/lablgtksourceview/gtkSourceView.props
deleted file mode 100644 (file)
index a8a6f6e..0000000
+++ /dev/null
@@ -1,40 +0,0 @@
-
-prefix "Gtk"
-
-header {
-  open Gtk_sourceview
-}
-
-class SourceLanguage type "source_language obj" set wrapsig : GObject {
-  signal tag_style_changed: string
-}
-
-class SourceLanguagesManager type "source_languages_manager obj" set wrapsig : GObject {
-(*  "lang-files-dirs"      gpointer             : Read / Write / Construct Only *)
-}
-
-class SourceBuffer type "source_buffer obj" set wrapsig : GObject {
-  "check-brackets"       gboolean             : Read / Write
-  "escape-char"          guint                : Read / Write
-  "highlight"            gboolean             : Read / Write
-  "language"             GtkSourceLanguage    : Read / Write
-  "max-undo-levels"      gint                 : Read / Write
-  signal can_redo:       gboolean
-  signal can_undo:       gboolean
-  signal highlight_updated: GtkTextIter GtkTextIter
-  signal marker_updated: GtkTextIter
-}
-
-class SourceView type "source_view obj" set wrapsig : Widget {
-  "auto-indent"          gboolean             : Read / Write
-  "insert-spaces-instead-of-tabs" gboolean    : Read / Write
-  "margin"               guint                : Read / Write
-  "show-line-markers"    gboolean             : Read / Write
-  "show-line-numbers"    gboolean             : Read / Write
-  "show-margin"          gboolean             : Read / Write
-  "smart-home-end"       gboolean             : Read / Write
-  "tabs-width"           guint                : Read / Write
-  signal redo
-  signal undo
-}
-