! $Id$
! GraphEdit Translation tester

! Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
! Written by Andreas Zeller <zeller@gnu.org>.
! 
! This file is part of DDD.
! 
! DDD is free software; you can redistribute it and/or
! modify it under the terms of the GNU General Public
! License as published by the Free Software Foundation; either
! version 3 of the License, or (at your option) any later version.
! 
! DDD is distributed in the hope that it will be useful,
! but WITHOUT ANY WARRANTY; without even the implied warranty of
! MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
! See the GNU General Public License for more details.
! 
! You should have received a copy of the GNU General Public
! License along with DDD -- see the file COPYING.
! If not, see <http://www.gnu.org/licenses/>.
! 
! DDD is the data display debugger.
! For details, see the DDD World-Wide-Web page, 
! `http://www.gnu.org/software/ddd/',
! or send a mail to the DDD developers <ddd@gnu.org>.

! Build a menu
*graphEdit.translations: #augment \
<Btn3Down>:	popup()            \n\
Shift<Key>A:	show-edges(any)    \n\
Shift<Key>B:	show-edges(both)   \n\
Shift<Key>T:	show-edges(to)	   \n\
Shift<Key>F:	show-edges(from)   \n\
<Key>A:	        hide-edges(any)    \n\
<Key>B:		hide-edges(both)   \n\
<Key>T:		hide-edges(to)	   \n\
<Key>F:		hide-edges(from)   \n\
<Key>S:		select-all()       \n\
<Key>U:		unselect-all()     \n\
<Key>G:		snap-to-grid()     \n\
<Key>R:		rotate()           \n\
<Key>L:		layout(regular)    \n\
<Key>C:		layout(compact)    \n\
<Key>N:		normalize()        \n

! Menu titles
*popup.menu.labelString:  Build...
*popup.one.labelString:   From straw
*popup.two.labelString:   From wood
*popup.three.labelString: From stone

*graphEdit_panner*backgroundPixmap: 25_foreground

*graphEdit_panner.background: grey
*graphEdit_panner.foreground: light grey
*graphEdit.background: light grey
*graphEdit.foreground: black
