Увеличить размер окна консоли в LightTable (Juno)

Я хотел бы увеличить размер окна консоли в LightTable (использую плагин Juno для Julia).

Я искал соответствующую команду для файла поведения пользователя, но ничего не нашел. Возможно, мне нужно отредактировать css-файл темы/скина? Если да, какие-либо указатели относительно того, какое поле я должен редактировать?

Примечание 1. Я пытался просмотреть меню Ctrl+Пробел, но ничего там не нашел.

Примечание 2. Я знаю, что могу открыть окно консоли в полноэкранном режиме в виде отдельной вкладки. Это не то, что мне нужно.

Примечание 3. Поскольку по крайней мере один комментатор неверно истолковал вопрос, я подумал, что должен подчеркнуть здесь, что я не пытаюсь изменить настройки шрифта. Это размер самого окна консоли, то есть бит, который печатается с использованием чего-то вроде println("I get displayed in the console"), который я пытаюсь увеличить.


css julia lighttable
person Colin T Bowers    schedule 21.01.2015    source источник
comment
Посмотрите здесь: stackoverflow.com/questions/25534216/lighttable-set -font-size Похоже, первое число — это размер шрифта, а второе — ширина строки. Мне нравится Ubuntu Mono, и я выступаю с докладом, поэтому теперь я использую [:editor :lt.objs.style/font-settings "Ubuntu Mono" 18 1]   -  person Wauzl    schedule 21.01.2015
comment
@Wauzl Спасибо за комментарий. Команда, на которую вы ссылаетесь, используется для изменения шрифта, размера шрифта и межстрочного интервала в редакторе LightTable. Я на самом деле после команды увеличить размер самого окна, которое выделено для консоли (бит, который обычно находится под редактором для большинства тем / скинов). Извините, я постараюсь отредактировать вопрос, чтобы сделать его более очевидным.   -  person Colin T Bowers    schedule 22.01.2015

Ответы (1)


arrow_upward
2
arrow_downward

Если я вас правильно понял, вы делаете это только с помощью мыши. Между остановкой редактора кода и началом вывода на консоль есть своего рода мертвая зона. Если вы медленно переместите курсор через эту мертвую зону по направлению к нижней части экрана, он изменится и позволит вам щелкнуть и перетащить, чтобы изменить размер консоли. Полоса для нажатия в основном скрыта, поэтому я понимаю путаницу.

Я не смог правильно отобразить свою мышь на снимке экрана, но примерно там, где курсор находится на моем прикрепленном снимке экрана.

http://i.stack.imgur.com/tGlYu.png

person physicsd00d    schedule 07.03.2015
comment
Нашел!!! Я использую LightTable уже 3 месяца и никогда не замечал, что мой курсор переключается, когда я нахожусь над этой мертвой зоной. Очень тонкий. Большое спасибо. - person Colin T Bowers; 09.03.2015
comment
@ColinTBowers Другой вариант - загрузить консоль в набор вкладок и контролировать ее ширину по горизонтали, но получить удовольствие от более «полного» окна. У меня есть команда сделать это, связанная с пмета-К. - person Frank C.; 23.03.2015