Javascript-форум (https://javascript.ru/forum/)
-   Общие вопросы Javascript (https://javascript.ru/forum/misc/)
-   -   WebShtorm есть ли зум? (https://javascript.ru/forum/misc/58160-webshtorm-est-li-zum.html)

ninja2 08.09.2015 07:57

WebShtorm есть ли зум?
 
А как увеличить шрифт в WebShtorm. Обычно ctrl зажимаешь и крутишь колесико, а тут не работает. И вообще какой редактор лучше выбрать, хочу написать парсер для node.js или phantomjs. JavaScript плохо знаю :)????

Да таким шрифтом мелким, как там есть, только глаза портить, он вообще не увеличивается, в настройках поменял на 20 и не увеличивается шрифт. Должно колесиком увеличиваться при нажатии Ctrl. Дерьмо а не редактор :)

Поменял в настройках Setting.

nesnayka 08.09.2015 17:41

Цитата:

Сообщение от ninja2 (Сообщение 387500)
А как увеличить шрифт в WebShtorm. Обычно ctrl зажимаешь и крутишь колесико, а тут не работает. И вообще какой редактор лучше выбрать, хочу написать парсер для node.js или phantomjs. JavaScript плохо знаю :)????

Да таким шрифтом мелким, как там есть, только глаза портить, он вообще не увеличивается, в настройках поменял на 20 и не увеличивается шрифт. Должно колесиком увеличиваться при нажатии Ctrl. Дерьмо а не редактор :)

Поменял в настройках Setting.

Только блокнот, только хардкор... :write:

ninja2 15.09.2015 03:18

Цитата:

Сообщение от nesnayka (Сообщение 387603)
Только блокнот, только хардкор... :write:

Да нет, плохо что нельзя увеличивать шрифт как обычно ctrl или +- или колесико. Ниче не работает, а так вебшторм норм редактор, понравился.

nesnayka 15.09.2015 12:17

Цитата:

Сообщение от ninja2
Должно колесиком увеличиваться при нажатии Ctrl. Дерьмо а не редактор

Цитата:

Сообщение от ninja2
а так вебшторм норм редактор, понравился.

Вы уж определитесь. :)
А вообще, почему оно должно?
Обычно "быстрое управление" - горячие клавиши, комбинация клавиша+мышка и т.д. делаются для часто используемых функций. Если на веб-странице или в оформительском редакторе функция увеличения/уменьшения используется довольно часто (в связи с тем, что присутствуют элементы разных размеров), то в кодинге просто нет смысла постоянно изменять этот параметр - выставил шрифт, который удобен, один раз и пишешь себе.

ninja2 16.09.2015 08:08

Не сам редактор ниче, а от зума нету плохо :(


Часовой пояс GMT +3, время: 15:33.