mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
24 lines
1.3 KiB
HTML
24 lines
1.3 KiB
HTML
<!-- OpenIDE Project -->
|
|
<!-- Copyright (C) 2025 “Open Development Platform” Ltd. (https://openide.ru) -->
|
|
<!-- -->
|
|
<!-- This program is free software: you can redistribute it and/or modify -->
|
|
<!-- it under the terms of the GNU Affero General Public License version 3 or later as published by the Free Software Foundation. -->
|
|
<!-- -->
|
|
<!-- This program is distributed in the hope that it will be useful, -->
|
|
<!-- but WITHOUT ANY WARRANTY; without even the implied warranty of -->
|
|
<!-- MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the -->
|
|
<!-- GNU Affero General Public License for more details. -->
|
|
<!-- -->
|
|
<!-- You should have received a copy of the GNU Affero General Public License -->
|
|
<!-- along with this program. If not, see http://www.gnu.org/licenses/. -->
|
|
<html>
|
|
<head>
|
|
<meta charset="UTF-8">
|
|
<link rel="stylesheet" type="text/css" href="css/tips.css">
|
|
</head>
|
|
<body><p><b>Search for settings and plugins</b></p>
|
|
<p>Enter <span class="code_emphasis">/</span> in the search field of the Search Everywhere (<span class="shortcut">Shift</span> twice)
|
|
window to search for a group of settings, their options, and plugins.</p>
|
|
<p class="image"><img src="images/tips_search_everywhere_settings.png" alt="Search Everywhere: settings, plugins, URL mappings"
|
|
style="border: 1px solid #55555;"/></p></body>
|
|
</html> |