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.

Sign up for GitHub

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

Jump to bottom

TGG Editor: Would be nice to have a blue background for #correspondence #93

Open
anthonyanjorin opened this issue May 15, 2018 · 3 comments
Open

TGG Editor: Would be nice to have a blue background for #correspondence #93

anthonyanjorin opened this issue May 15, 2018 · 3 comments
Labels
help wanted

Comments

@anthonyanjorin
Copy link
Contributor

.. in schema and tgg rules.
@anthonyanjorin anthonyanjorin self-assigned this May 15, 2018
@anthonyanjorin
Copy link
Contributor Author

Any progress? Have you been able to reproduce? Is it clear what this issue means?

@rajgurupooja01
Copy link

I'm not clear about this isuue. Can you please explain a bit more about the issue ?

@anthonyanjorin
Copy link
Contributor Author

The tgg editor uses a nice yellow (peach) and red (rose) background colour to highlight parts of the code related to src and trg. The idea with this issue would be to highlight analogous parts related to corr light blue.

Does that help?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
help wanted
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@LegionaryCohort @anthonyanjorin @nikitaphopse @mvdheram @rajgurupooja01