(ddd.info)Disabling the Command Tool


Up: Customizing the Command Tool
Enter node , (file) or (file)node

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