Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
Re: [ide-dev] [Proposal] Provide generic "highlight selection" command for all text editors

Great idea!

On 9/15/2016 3:58 AM, Andrey Loskutov wrote:
I've entered the enhancement CR for this:

Feel free to contribute :-)

Kind regards,
Andrey Loskutov
ide-dev mailing list
To change your delivery options, retrieve your password, or unsubscribe from this list, visit

Back to the top