mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
move to correct place, sorry
This commit is contained in:
+1
-1
@@ -5,7 +5,7 @@
|
||||
<td>You can quickly find a setting you need in the Settings dialog, without browsing through the numerous options.
|
||||
Just type some characters that to your opinion exist in the option description, and the list of settings will reduce to the
|
||||
matching ones. Select the desired entry, and see the setting that contains the entered characters highlighted:
|
||||
<p><img hspace="20" src="images/search_settings.png"></p>
|
||||
<p><img hspace="20" src="../../../../resources-en/src/tips/images/search_settings.png"></p>
|
||||
</td>
|
||||
</tr>
|
||||
</table>
|
||||
|
Before Width: | Height: | Size: 6.9 KiB After Width: | Height: | Size: 6.9 KiB |
Reference in New Issue
Block a user