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

Jump to bottom

Aardvark: Make graph viewer label font size adjustable #9031

Open
Simran-B opened this issue May 17, 2019 · 0 comments
Open

Aardvark: Make graph viewer label font size adjustable #9031

Simran-B opened this issue May 17, 2019 · 0 comments
Assignees
@hkernbach
Labels
1 Feature 3 Graph Visualization ArangoDB Webinterface - Graph viewer 3 UI ArangoDB Web Interface (frontend/Aardvark)

Comments

@Simran-B
Copy link
Contributor

For screenshots like below it would be handy to be able to adjust the font size:

ArangoDB Graph Visualization Screenshot

Zooming into a graph does not increase the font size (it doesn't grow or shrink, it's simply static and probably hardcoded).
@Simran-B Simran-B added 3 UI ArangoDB Web Interface (frontend/Aardvark) 3 Graph Visualization ArangoDB Webinterface - Graph viewer labels May 17, 2019
@Simran-B Simran-B self-assigned this May 17, 2019
@Simran-B Simran-B assigned hkernbach and unassigned Simran-B Aug 21, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@hkernbach hkernbach

Labels
1 Feature 3 Graph Visualization ArangoDB Webinterface - Graph viewer 3 UI ArangoDB Web Interface (frontend/Aardvark)
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@hkernbach @Simran-B