Have you tried setting Quick-Edit for your command line? The right-click copy/paste works well enough (though not nearly as good as a linux terminal). But the highlighting is still garbage.