Winedt zeigt im unteren Teil des Fensters eine Konsolenausgabe an. Ich möchte einen bestimmten Teil davon kopieren (um ihn beispielsweise als Google-Suchzeichenfolge in meinen Browser einzufügen). Wie mache ich das? Ich kann jeweils eine ganze Zeile markieren (besser wäre es, wenn man einen Textabschnitt markieren könnte, aber egal), kann diese Zeile aber nicht kopieren, CTRL+ cfunktioniert nicht (Windows 10, Winedt 10.3).