Skip to content
GitLab
Closed
Issue created by Benjamin Fischer@benjamin.fischerOwner

Marking text in the execute line of the codeeditor

Marking text with the mouse in the execution command line of the codeeditor is impossible, most probably due to the tooltip.

(from redmine: issue id 1919, created on 2014-10-11 by martin.urban, closed on 2014-10-12)

  • Changesets:
    • Revision 1624 by Benjamin Fischer on 2014-10-12T14:43:58Z:
Multiple fixes for the codeditor. fix #1918 & fix #1919
  • Revision 1624 by Benjamin Fischer on 2014-10-12T14:43:58Z:
Multiple fixes for the codeditor. fix #1918 & fix #1919