|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения? ... |
|||
:
Нравится:
Не нравится:
|
|||
25.10.2016, 21:10 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
Нет. Но можно не крутить колесико с зажатым Ctrl :) ... |
|||
:
Нравится:
Не нравится:
|
|||
27.10.2016, 04:29 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
Жаль... :( В IntelliJ IDEA очень выручает ... |
|||
:
Нравится:
Не нравится:
|
|||
27.10.2016, 20:56 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
GorynichЖаль... :( В IntelliJ IDEA очень выручает Да прикрутить-то можно. Я только не очень понимаю, почему тебя это напрягает. Ты Ctrl+колесико для чего-то другого в редакторе пытаешься использовать и получаешь неожиданный результат? Или что? ... |
|||
:
Нравится:
Не нравится:
|
|||
28.10.2016, 03:38 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
У меня мышка с инерционным колесиком (M705). Крутанул и уже в конце/начале процедуры/триггера/запроса (если надо пролистать). А потом Ctrl+Left Double Click на нужном объекте, а колесико-то крутится. Вот и получается изменение размера шрифта. До этой мышки Ctrl+Home|End использовал, а сейчас новая привычка появилась. Может и ещё какой-то "сценарий" есть, но сейчас на ум не приходит. Но в IDEA опция спасла несколько сот/тысяч нейронов)) ... |
|||
:
Нравится:
Не нравится:
|
|||
28.10.2016, 23:46 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
GorynichНо в IDEA опция спасла несколько сот/тысяч нейронов)) Как там эта опция по-англицки называется? Чтобы мне в муках не рожать название... ... |
|||
:
Нравится:
Не нравится:
|
|||
29.10.2016, 03:45 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
Код: plaintext
... |
|||
:
Нравится:
Не нравится:
|
|||
29.10.2016, 13:12 |
|
Изменение размера шрифта (Zoom) с Ctrl+Mouse Wheel... Есть опция отключения?
|
|||
---|---|---|---|
#18+
Галочку забацал. ... |
|||
:
Нравится:
Не нравится:
|
|||
30.10.2016, 04:02 |
|
|
start [/forum/topic.php?fid=42&msg=39337392&tid=1599191]: |
0ms |
get settings: |
9ms |
get forum list: |
13ms |
check forum access: |
3ms |
check topic access: |
3ms |
track hit: |
66ms |
get topic data: |
11ms |
get forum data: |
3ms |
get page messages: |
53ms |
get tp. blocked users: |
1ms |
others: | 275ms |
total: | 437ms |
0 / 0 |