質問するログイン新規登録

回答編集履歴

4

markdownの微修正

2017/08/23 15:47

投稿

退会済みユーザー
answer CHANGED
@@ -25,8 +25,6 @@
25
25
 
26
26
  > To fix, run
27
27
 
28
- > ```
29
- > gsettings set org.gnome.desktop.wm.preferences mouse-button-modifier "<Super>"
28
+ > `gsettings set org.gnome.desktop.wm.preferences mouse-button-modifier "<Super>"`
30
- > ```
31
29
 
32
30
  > Or use Gnome Tweak Tool to change Windows -> Window Action Key.

3

Linuxでの動作についての書き込みを追記

2017/08/23 15:47

投稿

退会済みユーザー
answer CHANGED
@@ -8,4 +8,25 @@
8
8
 
9
9
  Linux環境下で`cursorColumnSelect`のキーバインドを確認してみて下さい。
10
10
 
11
- WindowsではCtrl+Shift+Altを推しながら矢印キーで矩形選択できます。
11
+ WindowsではCtrl+Shift+Altを推しながら矢印キーで矩形選択できます。
12
+
13
+ ---
14
+
15
+ 更に追記
16
+
17
+ UbuntuやLinux MINTではShift+Alt+クリックは動作しないらしいです。
18
+ デスクトップ環境がGNOME3だとダメっぽい?
19
+
20
+ Windowsなので確認はできませんが、修正方法らしき書き込みを発見したので載せておきます。
21
+
22
+ [Column selection #1515](https://github.com/Microsoft/vscode/issues/1515#issuecomment-199464559)
23
+
24
+ > Note that Alt+Shift+click doesn't work on Gnome 3 if mouse-button-modifier is set to Alt, which seems to be the default in some installations. [https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1704580](https://bugs.launchpad.net/ubuntu/+source/mutter/+bug/1704580)
25
+
26
+ > To fix, run
27
+
28
+ > ```
29
+ > gsettings set org.gnome.desktop.wm.preferences mouse-button-modifier "<Super>"
30
+ > ```
31
+
32
+ > Or use Gnome Tweak Tool to change Windows -> Window Action Key.

2

cursorColumnSelectについて

2017/08/23 15:45

投稿

退会済みユーザー
answer CHANGED
@@ -1,3 +1,11 @@
1
1
  Linux環境下で、`ファイル` > `基本設定` > `キーボード ショートカット`で、キーバインドがどうなっているかを確認してみてはいかがでしょうか?
2
2
 
3
- ![キーボード ショートカット](cd91d6fcd1bf2bbefbd44a7839ee1b23.png)
3
+ ![キーボード ショートカット](cd91d6fcd1bf2bbefbd44a7839ee1b23.png)
4
+
5
+ ---
6
+
7
+ 勘違いしていたので訂正
8
+
9
+ Linux環境下で`cursorColumnSelect`のキーバインドを確認してみて下さい。
10
+
11
+ WindowsではCtrl+Shift+Altを推しながら矢印キーで矩形選択できます。

1

微修正

2017/08/23 14:56

投稿

退会済みユーザー
answer CHANGED
@@ -1,3 +1,3 @@
1
- Linux環境下で、`ファイル` > `基本設定` > `キーボード ショートカット`で、ブロック コメントの切替のキーバインドがどうなっているかを確認してみてはいかがでしょうか?
1
+ Linux環境下で、`ファイル` > `基本設定` > `キーボード ショートカット`で、キーバインドがどうなっているかを確認してみてはいかがでしょうか?
2
2
 
3
3
  ![キーボード ショートカット](cd91d6fcd1bf2bbefbd44a7839ee1b23.png)