[jira] [Comment Edited] (DIRSTUDIO-1156) Text Editor usability improvements
[ https://issues.apache.org/jira/browse/DIRSTUDIO-1156?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16222614#comment-16222614 ] Lothar Haeger edited comment on DIRSTUDIO-1156 at 10/27/17 4:12 PM:
[jira] [Comment Edited] (DIRSTUDIO-1156) Text Editor usability improvements
[ https://issues.apache.org/jira/browse/DIRSTUDIO-1156?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel=16222614#comment-16222614 ] Lothar Haeger edited comment on DIRSTUDIO-1156 at 10/27/17 4:10 PM: