# $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