| | workspace.images.order.title=Extensions |
| | workspace.images.resize=Resize |
| | -workspace.images.resize.desc=Scale images to fit the preview panel when resizing, automatically. |
| | +workspace.images.resize.desc=Scale images to fit the preview tab when resizing, automatically. |
| | workspace.images.resize.title=Resize |
| | workspace.images.server=Diagram Server |
 |
| | workspace.ui.font.preview=Preview Font |
| | workspace.ui.font.preview.name=Name |
| | -workspace.ui.font.preview.name.desc=Preview pane font name (must support ligatures, serif font recommended). |
| | +workspace.ui.font.preview.name.desc=Preview tab font name (must support ligatures, serif font recommended). |
| | workspace.ui.font.preview.name.title=Family |
| | workspace.ui.font.preview.size=Size |
 |
| | |
| | # ######################################################################## |
| | -# Definition Pane and its Tree View |
| | +# Definition Tab and its Tree View |
| | # ######################################################################## |
| | |
| | Definition.menu.add.default=Undefined |
| | |
| | # ######################################################################## |
| | -# Variable Definitions Pane |
| | +# Variable Definitions Tab |
| | # ######################################################################## |
| | |
| | Pane.definition.node.root.title=Variables |
| | |
| | # ######################################################################## |
| | -# HTML Preview Pane |
| | +# HTML Preview Tab |
| | # ######################################################################## |
| | |
| | Pane.preview.title=Preview |
| | |
| | # ######################################################################## |
| | -# Document Outline Pane |
| | +# Document Outline Tab |
| | # ######################################################################## |
| | |
| | Pane.outline.title=Outline |
| | |
| | # ######################################################################## |
| | -# File Manager Pane |
| | +# File Manager Tab |
| | # ######################################################################## |
| | |
| | Pane.files.title=Files |
| | |
| | # ######################################################################## |
| | -# Document Outline Pane |
| | +# Document Outline Tab |
| | # ######################################################################## |
| | |