Skip to content

Commit

Permalink
Improve "Use Round Tabs" Tip
Browse files Browse the repository at this point in the history
- Remove outdated image
- Add link to the preference page
  • Loading branch information
BeckerWdf committed Feb 13, 2024
1 parent 8fa7e5b commit 9dd978a
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 2 deletions.
Binary file not shown.
Expand Up @@ -240,8 +240,10 @@ <h3><a name="Workbench" id="Workbench">Workbench</a></h3>
<td width="80%" valign="top" align="left">
Square tabs are used by default in the IDE:
<p><img src="images/dark_theme_square_tabs.png" align="top" border="0" alt="Square tabs in dark theme"></p>
<p>In order to switch back to using round tabs, you can use the preference option:</p>
<p><img src="images/round_tabs_preference_option.png" alt="Use round tabs appearance preference"></p>
<p>In order to switch back to using round tabs, you can use the preference option <b>Use round tabs</b> on the
<a class="command-link" href='javascript:executeCommand("org.eclipse.ui.window.preferences(preferencePageId=org.eclipse.ui.preferencePages.Views)")'>
<img src="PLUGINS_ROOT/org.eclipse.help/command_link.svg" alt="command link"><strong>General &gt; Appearance</strong>
</a> preferences page.</p>
</td>
</tr>
<tr>
Expand Down

0 comments on commit 9dd978a

Please sign in to comment.