+++ /dev/null
-(* $Id$ *)
-
-type string_direction = "TSTRING_DIRECTION_" [
- | `R_TO_L
- | `L_TO_R
-]
-
-type alignment = "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
-]