styles/motif.common
author Claus Gittinger <cg@exept.de>
Sat, 24 Feb 1996 17:14:06 +0100
changeset 451 df6eb30df68c
parent 309 8cc4d0e7b41b
child 468 8c5bd9fa6038
permissions -rw-r--r--
*** empty log message ***
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
199
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     1
;
309
8cc4d0e7b41b germanism
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
     2
; common motif stuff (not a style, but included by all motif style variations)
199
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     3
;
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     4
;
451
df6eb30df68c *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
     5
; $Header: /cvs/stx/stx/libview/styles/motif.common,v 1.3 1996-02-24 16:14:05 cg Exp $
199
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     6
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     7
;
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     8
; this is to be included from the real style,
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
     9
; with (at least) viewGrey, shadowColor, lightColor and mediumColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    10
; being predefined
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    11
;
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    12
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    13
is3D                            true
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    14
name                            #motif
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    15
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    16
fatFont                         Font family:'helvetica' face:'bold' style:'roman' size:12
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    17
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    18
selectionFont                   =fatFont
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    19
labelFont                       =fatFont
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    20
menuFont                        =fatFont
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    21
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    22
viewBackground                  =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    23
borderWidth                     0
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    24
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    25
popupBorderWidth                1     
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    26
popupHideOnRelease              false    
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    27
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    28
focusColor                      Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    29
; focusColor                      Color yellow
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    30
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    31
scrollBarPosition               #right 
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    32
scrollBarButtonPositions        #around     
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    33
scrollBarLevel                  -2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    34
scrollBarElementSpacing         0
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    35
scrollBarDisableButtons         true
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    36
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    37
#if Display hasGreyscales
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    38
scrollerThumbColor               =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    39
scrollerViewBackground           =mediumColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    40
#else
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    41
; grey 50 is too heavy - isn't it ?
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    42
; scrollerViewBackground          Color grey:50
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    43
scrollerViewBackground           Color white
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    44
scrollerThumbColor               Color white
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    45
#endif
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    46
scrollerThumbLevel               2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    47
scrollerThumbInset               0
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    48
scrolledViewLevel               -2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    49
451
df6eb30df68c *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    50
scrollerGhostFrameColor         Color black
df6eb30df68c *** empty log message ***
Claus Gittinger <cg@exept.de>
parents: 309
diff changeset
    51
199
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    52
sliderLevel                      -1
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    53
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    54
variablePanelTrackingLine        true  
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    55
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    56
framedBoxLabelPosition           #topLeft
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    57
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    58
labelForegroundColor             Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    59
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    60
buttonActiveLevel                -2 
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    61
buttonPassiveLevel               2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    62
buttonReturnButtonHasBorder      true
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    63
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    64
buttonActiveBackgroundColor      =mediumColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    65
buttonActiveForegroundColor      Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    66
buttonDisabledForegroundColor    =shadowColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    67
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    68
#if Display hasGreyscales not
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    69
buttonActiveBackgroundColor      Color grey:80
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    70
#endif
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    71
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    72
arrowButtonStyle                 #motif
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    73
arrowButtonActiveLevel           0
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    74
arrowButtonPassiveLevel          0
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    75
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    76
arrowButtonForegroundColor         =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    77
arrowButtonBackgroundColor         =mediumColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    78
arrowButtonActiveForegroundColor   =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    79
arrowButtonActiveBackgroundColor   =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    80
arrowButtonDisabledForegroundColor =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    81
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    82
editFieldBackgroundColor           =mediumColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    83
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    84
menuHilightLevel                 2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    85
menuSeparatingLineInset          0
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    86
menuViewBackgroundColor         =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    87
menuDisabledForegroundColor     =shadowColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    88
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    89
pullDownMenuKeepMenu             true
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    90
pullDownMenuLevel                1
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    91
pullDownMenuHilightLevel         2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    92
#if Display hasGreyscales not
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    93
pullDownMenuHilightForegroundColor      Color white
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    94
pullDownMenuHilightBackgroundColor      Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    95
#endif
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    96
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    97
selectionRightArrowLevel         -1
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    98
selectionRightArrowLevel         2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
    99
selectionLineSpacing             4
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   100
selectionForegroundColor         Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   101
selectionHilightBackgroundColor  Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   102
selectionDisabledForegroundColor =shadowColor
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   103
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   104
textCursorType                   #caret
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   105
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   106
activeHelpBackgroundColor         Color yellow lightened
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   107
activeHelpBorderWidth             2
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   108
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   109
rulerForegroundColor            Color black
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   110
rulerBackgroundColor            =viewGrey
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   111
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   112
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   113
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   114
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   115
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   116
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   117
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   118
arrowButtonUpForm                 Image extent:11@12 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   119
					depth:2      \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   120
					bits:#[4r0000 4r0100 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   121
					       4r0000 4r1120 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   122
					       4r0000 4r1120 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   123
					       4r0001 4r1322 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   124
					       4r0001 4r1322 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   125
					       4r0011 4r3332 4r2000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   126
					       4r0011 4r3332 4r2000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   127
					       4r0113 4r3333 4r2200 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   128
					       4r0113 4r3333 4r2200 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   129
					       4r1122 4r2222 4r2220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   130
					       4r1222 4r2222 4r2220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   131
					       4r0000 4r0000 4r0000] \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   132
					pad:8
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   133
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   134
arrowButtonDownForm               Image extent:11@12 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   135
					depth:2      \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   136
					bits:#[ \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   137
					       4r0000 4r0000 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   138
					       4r1111 4r1111 4r1110 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   139
					       4r1111 4r1111 4r1220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   140
					       4r0113 4r3333 4r2200 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   141
					       4r0113 4r3333 4r2200 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   142
					       4r0011 4r3332 4r2000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   143
					       4r0011 4r3332 4r2000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   144
					       4r0001 4r1322 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   145
					       4r0001 4r1322 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   146
					       4r0000 4r1220 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   147
					       4r0000 4r1220 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   148
					       4r0000 4r0200 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   149
					      ] \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   150
					pad:8
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   151
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   152
arrowButtonLeftForm               Image extent:12@11 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   153
					depth:2      \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   154
					bits:#[ \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   155
					       4r0000 4r0000 4r0110 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   156
					       4r0000 4r0001 4r1120 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   157
					       4r0000 4r0111 4r1220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   158
					       4r0001 4r1113 4r3220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   159
					       4r0111 4r1333 4r3220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   160
					       4r1113 4r3333 4r3220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   161
					       4r0222 4r2333 4r3220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   162
					       4r0002 4r2223 4r3220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   163
					       4r0000 4r0222 4r2220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   164
					       4r0000 4r0002 4r2220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   165
					       4r0000 4r0000 4r0220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   166
					      ] \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   167
					pad:8
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   168
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   169
arrowButtonRightForm              Image extent:12@11 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   170
					depth:2      \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   171
					bits:#[ \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   172
					       4r0110 4r0000 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   173
					       4r0111 4r1000 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   174
					       4r0111 4r1110 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   175
					       4r0113 4r3111 4r1000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   176
					       4r0113 4r3331 4r1110 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   177
					       4r0113 4r3333 4r3222 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   178
					       4r0113 4r3332 4r2220 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   179
					       4r0113 4r3222 4r2000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   180
					       4r0112 4r2220 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   181
					       4r0122 4r2000 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   182
					       4r0120 4r0000 4r0000 \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   183
					      ] \
b8f89a06090b Initial revision
Claus Gittinger <cg@exept.de>
parents:
diff changeset
   184
					pad:8