! Ed --
! $Id: Ed,v 1.3 1995/03/29 14:24:20 ohl Exp $
!
! X11 Resources for the Mesa Workstation Widget
*MesaWorkstation.debug: false
*MesaWorkstation.translations: #augment <Key>x: Quit()
!
! X11 Resources for the Mesa Widget
*MesaDrawingArea.debug: false
*MesaDrawingArea.rgba: false
*MesaDrawingArea.doublebuffer: true
!
! X11 Resources for the ViewControl Widget
*ViewControl*status.foreground: blue4
*ViewControl*panner.width: 100
*ViewControl*panner.height: 100
*ViewControl*panner.canvasWidth: 100
*ViewControl*panner.canvasHeight: 100
*ViewControl*panner.sliderWidth: 10
*ViewControl*panner.sliderHeight: 10
*ViewControl*panner.sliderX: 50
*ViewControl*panner.sliderY: 50
*ViewControl*panner.background: grey
*ViewControl*panner.rubberBand: true
*ViewControl*scrollbar.height: 100
*ViewControl*scrollbar.width: 15
!
! X11 Resources for the demo program
*quit.label: stop
*quit.background: red
*mesa.width: 400
*mesa.height: 400
*mesax.width: 100
*mesax.height: 100
*mesay.width: 100
*mesay.height: 100
*mesaz.width: 100
*mesaz.height: 100
*vc*panner.rubberBand: false
