]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var
Initial revision
[helm.git] / helm / DEVEL / lablgtk / lablgtk_20000829-0.1.0 / gtkxmhtml_tags.var
diff --git a/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var b/helm/DEVEL/lablgtk/lablgtk_20000829-0.1.0/gtkxmhtml_tags.var
new file mode 100644 (file)
index 0000000..ad93931
--- /dev/null
@@ -0,0 +1,30 @@
+(* $Id$ *)
+
+type string_direction = "TSTRING_DIRECTION_" [
+  | `R_TO_L
+  | `L_TO_R
+]
+
+type position = "TALIGNMENT_" [
+  | `END
+  | `CENTER
+  | `BEGINNING
+]
+
+type line_type = "LINE_" [
+  | `SOLID
+  | `DASHED
+  | `SINGLE
+  | `DOUBLE
+  | `STRIKE
+  | `UNDER
+  | `NONE "NO_LINE"
+]
+
+type dither_type = "Xm" [
+  | `QUICK
+  | `BEST
+  | `FAST
+  | `SLOW
+  | `DISABLED
+]