(ddd.info)Disabling the Command Tool
3.3.1.1 Disabling the Command Tool
..................................
You can disable the command tool and show its buttons in a separate row
beneath the tool bar. To disable the command tool, set `Edit =>
Preferences => Source => Tool Buttons Location => Source Window'.
Here's the related resource:
-- Resource: commandToolBar (class ToolBar)
Whether the tool buttons should be shown in a tool bar above the
source window (`on') or within the command tool (`off', default).
Enabling the command tool bar disables the command tool and vice
versa.
automatically generated by info2www version 1.2.2.9