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

ノートに別のノートのリンクを貼りたいとき 貼られる側のノートを開く インフォメーションアイコンをクリック リンク欄をコピー 貼る側のノートにペースト ペーストしたテキストがエスケープされていたら、バックスラッシュを消す \[達成、挑戦の判定につい…