# $Id: Defaults.properties,v 1.1 2003/10/07 14:28:41 cxh Exp $
#
# Default resource properties for Diva applications
#
# To be extended
#

##
# Diva "public" DTDs
#
graph.dtd=dtd_graph.dtd
sketch.dtd=dtd_sketch.dtd
test.dtd=dtd_test.dtd

##
# Builder declarations
#
recognizerBuilders=recognizerBuilders.xml
sceneBuilders=sceneBuilders.xml


##
# Icon resources
#
OpenImage=img_open.gif
NewImage=img_new.gif
SaveImage=img_save.gif

CutImage=img_cut.gif
CopyImage=img_copy.gif
PasteImage=img_paste.gif
GraphIconImage=img_graphIcon.gif

NewPageImage=img_newPage.gif
NextImage=img_next.gif
PreviousImage=img_previous.gif

SketchModeImage = img_sketch.gif
HighlightModeImage = img_highlight.gif
CommandModeImage = img_command.gif

##
# Gesture files
#
CommandGestures = commands.tc