! --- stuff to get mouse wheel to work in motif ---

*XmList.baseTranslations: #augment <Btn5Down>: ListNextPage()\n <Btn4Down>: ListPrevPage()\n
*XmScrollBar.baseTranslations: #augment <Btn4Down>: IncrementUpOrLeft(0) IncrementUpOrLeft(1)\n <Btn5Down>: IncrementDownOrRight(0) IncrementDownOrRight(1)\n
*XmText.baseTranslations: #augment Shift<Btn4Down>: page-left()\n Shift<Btn5Down>: page-right()\n <Btn4Down>: scroll-one-line-up()\n <Btn5Down>: scroll-one-line-down()\n


! ------- Aterm settings -----------

Aterm*transparent: True
Aterm*shading: 40
! Aterm*tinting: #0080ff
! Aterm*backgroundType: cut

Aterm*scrollBar: True
Aterm*transpscrollbar: True
Aterm*scrollBar_right: True
Aterm*scrollBar_floating: True

Aterm*foreground: 7
Aterm*background: 0
Aterm*cursorColor: #ffff00
Aterm*cursorColor2: #880000
Aterm*colorBD: 15
! Aterm*colorUL: #ffffff
Aterm*saveLines: 1000
! Aterm*textType:

Aterm*color0: #000000
Aterm*color1: #aa0000
Aterm*color2: #008800
Aterm*color3: #aa5522
Aterm*color4: #0000aa
Aterm*color5: #aa00aa
Aterm*color6: #00aaaa
Aterm*color7: #aaaaaa
Aterm*color8: #444444
Aterm*color9: #ff4444
Aterm*color10: #44ff44
Aterm*color11: #ffff44
Aterm*color12: #4444ff
Aterm*color13: #ff44ff
Aterm*color14: #44ffff
Aterm*color15: #ffffff

Aterm*font: fixed
Aterm*boldFont: fixed
Aterm*font0: 5x7
Aterm*font1: 6x10
Aterm*font2: fixed
Aterm*font3: 8x13
Aterm*font4: 9x15
Aterm*font5: 10x20
Aterm*font6: 12x24

Aterm*multichar_encoding: iso-10646
Aterm*mfont0: -misc-fixed-medium-r-normal--7-70-75-75-c-50-iso10646-1
Aterm*mfont1: -misc-fixed-medium-r-normal--10-100-75-75-c-60-iso10646-1
Aterm*mfont2: -misc-fixed-medium-r-semicondensed--13-120-75-75-c-60-iso10646-1
Aterm*mfont3: -misc-fixed-medium-r-normal--14-130-75-75-c-70-iso10646-1
Aterm*mfont4: -misc-fixed-medium-r-normal--15-140-75-75-c-90-iso10646-1