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

I think the diagram key should be changed from Graph Containment to Contains #203

Closed
TallTed opened this issue Sep 18, 2023 · 6 comments
Closed
Assignees
Labels
pending close (7 days) This issue will be closed after 7 days.

Comments

@TallTed
Copy link
Member

TallTed commented Sep 18, 2023

Originally posted by @TallTed and @iherman in #189 (comment)

[@TallTed] styled as Contains makes me think the key should be changed from Graph Containment, which change I was going to suggest anyway.

[@iherman] I agree, but I would prefer to move that into a separate issue. The reason is that, for consistency's sake, this change should also be done in the VCDM, both in the descriptions and on the diagrams, and I do not want to mess up this PR for that. Would you agree? If so, can you put that into a separate issue? Thx.

@iherman
Copy link
Member

iherman commented Sep 19, 2023

@TallTed I have made the changes on my "core" versions, see

https://drive.google.com/drive/folders/1dR194S3hPJZmPNpOcMtXKVMIX2JnwYGZ?usp=sharing

If you look at those, you will realize that I went back to black and white. After some experimentation with different dark mode generation styles, bw seems to be the only secure and accessible option. Under some types of dark modes the previous version became unreadable...

@iherman
Copy link
Member

iherman commented Sep 19, 2023

As an aside: keeping these files on a Google Drive may not be the best idea. It is difficult to keep track with the various PR-s involving vocabularies while having a single places to the Google Drive. @msporny, as main manager of these two repositories, would it be o.k. to store the drawio and SVG files in the repo, thereby having different versions? The only annoying aspect is that the generation of the SVG file must be made outside GitHub; I do not think there is a command-line option to generate the SVG file which, due to a current bug in drawio, must go through a separate script anyway.

@msporny wdyt?

@iherman iherman added the pending close (7 days) This issue will be closed after 7 days. label Sep 19, 2023
@iherman
Copy link
Member

iherman commented Sep 19, 2023

@TallTed I hope it is all right that this has been marked as pending close

@iherman iherman self-assigned this Sep 19, 2023
@msporny
Copy link
Member

msporny commented Sep 19, 2023

@msporny, as main manager of these two repositories, would it be o.k. to store the drawio and SVG files in the repo, thereby having different versions?

Yes, that's fine w/ me. Best to keep source files in the repository. Having to re-generate the SVG isn't great, but I expect we won't need to do that too often.

@iherman
Copy link
Member

iherman commented Sep 19, 2023

@msporny, as main manager of these two repositories, would it be o.k. to store the drawio and SVG files in the repo, thereby having different versions?

Yes, that's fine w/ me. Best to keep source files in the repository. Having to re-generate the SVG isn't great, but I expect we won't need to do that too often.

After the dust settles, I do not expect much change. I may add a README in the repository's folder to describe what is happening.

Next time I raise a PR related to a vocabulary, I will add these. I do not think it is worth raising a PR just for that...

@brentzundel
Copy link
Member

No objections raised to closing since marked as pending close, closing.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
pending close (7 days) This issue will be closed after 7 days.
Projects
None yet
Development

No branches or pull requests

4 participants