Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Introduces different colors for input1, input2 and result editor. #151952

Merged
merged 1 commit into from Jun 13, 2022
Merged

Conversation

hediet
Copy link
Member

@hediet hediet commented Jun 13, 2022

Word highlighting is not yet supported.

@hediet hediet self-assigned this Jun 13, 2022
@hediet hediet added this to the June 2022 milestone Jun 13, 2022
@hediet hediet enabled auto-merge June 13, 2022 15:51
@hediet hediet merged commit 16fa2f0 into main Jun 13, 2022
@hediet hediet deleted the 3wm branch June 13, 2022 17:40
@github-actions github-actions bot locked and limited conversation to collaborators Jul 28, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants