home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
PC World Komputer 1999 mARCH
/
PCWK3A99.iso
/
Linux
/
DDD331
/
DDD-3_1_.000
/
DDD-3_1_
/
ddd-3.1.1
/
ddd
/
Test-graph
< prev
next >
Wrap
Text File
|
1998-03-25
|
2KB
|
60 lines
! $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