View Issue Details

IDProjectCategoryView StatusLast Update
0001488WishesEditorpublic2018-11-15 12:37
ReportermaxflAssigned To 
PrioritynormalSeverityfeatureReproducibilityhave not tried
Status closedResolutionduplicate 
Product Version2.0 
Target VersionFixed in Version 
Summary0001488: Изменение размеров редактора
DescriptionПрошу добавить возможность изменять размеры уже открытого редактора.

Надо это для того, чтобы можно было уже к открытому редактору отобразить сервисную панель с номерами строк и пометками.
На данный это можно сделать только закрыв и открыв редактор заново, а это неудобно, особенно если редактор открыт для нового файла или файла с плагиновой панели.
TagsNo tags attached.
Build

Relationships

duplicate of 0000251 closed Разделяемое или resizable окно редактора 
duplicate of 0003519 new Возможность изменить размеры открытого редактора/вьюера 

Activities

JohnDoe

2018-11-15 11:40

updater   bugnote:0016313

Закрыть в пользу 0003519

Issue History

Date Modified Username Field Change
2010-09-02 10:12 maxfl New Issue
2012-12-24 14:24 vskirdin Relationship added duplicate of 0000251
2013-02-03 04:31 alexy Severity minor => feature
2017-10-25 20:29 JohnDoe Relationship added duplicate of 0003519
2018-11-15 11:40 JohnDoe Note Added: 0016313
2018-11-15 12:37 JohnDoe Status new => closed
2018-11-15 12:37 JohnDoe Resolution open => duplicate