12. To customize

Some features of the editor allow you to customize the user interface to fit your work habits.

12.1. Menu My Shortcuts

You can populate the menu My shortcuts with specific elements.

  1. Choose menu Tools → Insert an element

  2. A search bar helps to quickly filter elements.

  3. Click on icon on the right of the element to add in the menu My Shortcuts.

    [Tip]

    The description of the elements is available in the DocBook guide.

Prev  Home  Next
11.3. To search and replace 
 12.2. Display of commands