(ddd.info)JDB Initialization
2.5.2.4 JDB Initialization
..........................
-- Resource: jdbInitCommands (class InitCommands)
This string contains a list of newline-separated commands that are
initially sent to JDB. This resource may be used to customize
JDB. By default, it is empty.
-- Resource: jdbSettings (class Settings)
This string contains a list of newline-separated commands that are
also initially sent to JDB. By default, it is empty.
This resource is used by DDD to save and restore JDB settings.
automatically generated by info2www version 1.2.2.9