home *** CD-ROM | disk | FTP | other *** search
- ! $Id: Test-graph,v 1.8 1998/03/25 12:44:38 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 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 2 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, 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 <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
-