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

Timing Diagram is not responsive on large screens #565

Open
rexwangcc opened this issue Feb 20, 2019 · 3 comments
Open

Timing Diagram is not responsive on large screens #565

rexwangcc opened this issue Feb 20, 2019 · 3 comments
Assignees

Comments

@rexwangcc
Copy link
Contributor

As a user, I'd expect the (beautiful) timing diagram could be responsive on large screens, right now it only uses a small portion of the panel:
screen shot 2019-02-19 at 10 23 18 pm

@cjllanwarne
Copy link
Collaborator

Hey @rexwangcc could you define "responsive" here?

To me that would imply something like "interactive" but your report sounds like it's more like "not resizing to fill the whole screen width"?

@rexwangcc
Copy link
Contributor Author

@cjllanwarne Yeah, I meant "not resizing to fill the whole screen width". I used responsive just because I was reading something like this: https://en.wikipedia.org/wiki/Responsive_web_design which made me thought responsive is the term to describe "web pages render well on a variety of devices and window or screen sizes" in the UI world. Since I'm not an expert on Front-end, I could be wrong :octocat:

@rsasch
Copy link
Contributor

rsasch commented Mar 13, 2019

@rexwangcc As of v0.5.8, the graph width is dynamically determined when the browser page loads. This means that it will be the right width when you navigate over to the "Timing Diagram" tab, but it will not re-size if you change the browser window size unless you reload the page. Is this sufficient?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

3 participants