files / devtools / docs / user / settings
| Mode | Name | Size |
| -rw-r--r-- | dev_tools_settings.png | 1L |
| -rw-r--r-- | devtools_layoutmenu.png | 1L |
| -rw-r--r-- | devtools_menu.png | 1L |
| -rw-r--r-- | index.rst | 224L |
| -rw-r--r-- | split_console.png | 1L |
| -rw-r--r-- | theme-dark.png | 1L |
| -rw-r--r-- | theme-light.png | 1L |
