! $Id: Test-graph,v 1.6 1997/04/25 06:37:59 zeller Exp $
! GraphEdit Translation tester

! Copyright (C) 1995 Technische Universitaet Braunschweig, Germany.
! Written by Andreas Zeller <zeller@ips.cs.tu-bs.de>.
! 
! This file is part of the DDD Library.
! 
! The DDD Library is free software; you can redistribute it and/or
! modify it under the terms of the GNU Library General Public
! License as published by the Free Software Foundation; either
! version 2 of the License, or (at your option) any later version.
! 
! The DDD Library 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 Library General Public License for more details.
! 
! You should have received a copy of the GNU Library General Public
! License along with the DDD Library -- see the file COPYING.LIB.
! If not, write to the Free Software Foundation, Inc.,
! 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
! 
! DDD is the data display debugger.
! For details, see the DDD World-Wide-Web page, 
! `http://www.cs.tu-bs.de/softech/ddd/',
! or send a mail to the DDD developers at `ddd@ips.cs.tu-bs.de'.

! 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
