!! X resources for XGap
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! The fallback resources
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*menu.line.height: 10
*xgapMenu*shapeStyle: Oval
*xgapDialog*shapeStyle: Oval
!! Gap talk window
*xgapTalk.height: 600
*xgapTalk.width: 600
*xgapMenu.showGrip: False
*xgapTalk.showGrip: False
*xgapTalk.quitGapCtrD: True
*xgapTalk.pasteGapPrompt: True
!! Gap menu
*xgapMenu.gapButton.label: GAP
*xgapMenu.gapButton*pastePrompt.label: Paste 'gap>'
*xgapMenu.gapButton*quitGapCTRD.label: Quit on CTR-D
*xgapMenu.gapButton*editFile.label: Edit File ...
*xgapMenu.gapButton*readFile.label: Read File ...
*xgapMenu.gapButton*changeLib.label: Change Library ...
*xgapMenu.gapButton*resyncGap.label: Resync with GAP
*xgapMenu.gapButton*quit.label: Quit GAP
*xgapMenu.gapButton*kill.label: Kill GAP
!! Run menu
*xgapMenu.runButton.label: Run
*xgapMenu.runButton*quitBreak.label: Leave Breakloop
*xgapMenu.runButton*contBreak.label: Continue Execution
*xgapMenu.runButton*interrupt.label: Interrupt
*xgapMenu.runButton*garbColl.label: Collect Garbage
*xgapMenu.runButton*garbMesg.label: Toggle GC Messages
*xgapMenu.runButton*infoRead.label: Toggle Library Read Mesg
!! Help menu
*xgapMenu.helpButton.label: Help
*xgapMenu.helpButton*copyHelp.label: Copyright
*xgapMenu.helpButton*helpHelp.label: Helpsystem
*xgapMenu.helpButton*chpsHelp.label: Chapters
*xgapMenu.helpButton*secsHelp.label: Sections
*xgapMenu.helpButton*nchpHelp.label: Next Chapter
*xgapMenu.helpButton*pchpHelp.label: Previous Chapter
*xgapMenu.helpButton*nextHelp.label: Next Help Section
*xgapMenu.helpButton*prevHelp.label: Previous Help Section
!! Gap graphic window
*xgapWindowViewport.width: 800
*xgapWindowViewport.height: 600
!! Query an input file name
*queryFileName.xgapDialog.icon: Term
*selFileCancel*ShapeStyle: Oval
*selFileCancel*label: Cancel
*selFileOK*ShapeStyle: Oval
*selFileOK*label: OK
*selFileHome*ShapeStyle: Oval
*selFileHome*label: Home
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
!! some custom resources
!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
*international: False
*Background: gray85
*Foreground: gray15
*BorderWidth: 0
*BorderColor: gray40
*GapText.Background: gray95
*GapText.displayList: foreground gray70;segments 0,-1,-1,-1,0,0,-1,0
*GapGraphic.background: gray95
*SimpleMenu.BorderWidth: 0
*SimpleMenu.VerticalMargins: 3
*SimpleMenu.HorizontalMargins: 3
*SimpleMenu.*.foreground: gray20
*SimpleMenu*displayList: foreground gray70;lines +2,-2,-2,-2,-2,+2;foreground gray95;lines -2,+1,+1,+1,+1,-2;foreground gray30;lines +1,-1,-1,-1,-1,+1;foreground gray80;lines -1,+0,+0,+0,+0,-1
*SimpleMenu.SmeBSB.HorizontalMargins: 16
*Box.BorderWidth: 0
*Box.displayList: foreground gray30;lines +1,-1,-1,-1,-1,+1;foreground gray95;lines -1,+0,+0,+0,+0,-1
*Scrollbar.foreground: rgb:6/b/f
*Scrollbar.displayList: foreground gray70;lines +1,-1,-1,-1,-1,+1;foreground gray40;lines -1,+0,+0,+0,+0,-1
*Paned.internalBorderWidth: 0
*xgapWindowText.displayList: foreground gray30;line 0,-1,-1,-1
*internalHeight: 3
*internalWidth: 6
*Command.borderWidth: 1
*Text.background: gray95
*Text.displayList: foreground gray70;lines +1,-1,-1,-1,-1,+1;foreground gray40;lines -1,+0,+0,+0,+0,-1
*Composite.borderWidth: 1