mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
(cherry picked from commit 40be4eaeb45b0495603b131bbaad0e87b8657c9b) (cherry picked from commit6881e24f3e) (cherry picked from commit87986c4223) (cherry picked from commit24d3f101f1) (cherry picked from commit97db5785a8)
3 lines
640 B
HTML
3 lines
640 B
HTML
<!-- Copyright (c) Haulmont 2025. All Rights Reserved. -->
|
|
<!-- Use is subject to license terms. -->
|
|
<html><head><meta charset="UTF-8"><link rel="stylesheet" type="text/css" href="css/tips.css"></head><body><p><b>スキームの切り替え</b></p><p>エディターから 1 回のキーボード操作で、異なるコードスタイル、カラースキーム、またはキーマップを適用できます。 <span class="shortcut">&shortcut:QuickChangeScheme;</span> (<span class="control">表示 | スキームのクイック切り替え</span>) を押すと、切り替え先のスキームを指定できます。</p></body></html> |