2023-02-14から1日間の記事一覧
Tabキーを押したときに挿入する文字を、タブ文字とスペースとで切替える方法 環境 Windows 手順 設定画面を開く。Ctrl+, 検索フォームに「insert space」と入力 Editor: Insert SpacesのチェックのON/OFFでタブ文字とスペースを切り替える 蛇足 自由度の高い…
Tabキーを押したときに挿入する文字を、タブ文字とスペースとで切替える方法 環境 Windows 手順 設定画面を開く。Ctrl+, 検索フォームに「insert space」と入力 Editor: Insert SpacesのチェックのON/OFFでタブ文字とスペースを切り替える 蛇足 自由度の高い…