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

Cut off options' path label #180

Open
hryniuk opened this issue Aug 30, 2017 · 2 comments
Open

Cut off options' path label #180

hryniuk opened this issue Aug 30, 2017 · 2 comments

Comments

@hryniuk
Copy link
Member

hryniuk commented Aug 30, 2017

Serin's comment on #159:

When loading the options file, a label at the bottom has text set to a file path. If the path is long, the whole window expands to allow it to be displayed. The effect is quite jarring, and very long paths could cause problems, so I think the path should be cut off, or the label should have multiple lines.

@hryniuk
Copy link
Member Author

hryniuk commented Sep 2, 2017

I think we'd rather implement #190 and then we'll remove that label - options filename could be displayed in options editor and there could be just enough path's parts to differentiate them. For example:

  • after loading $HOME/Wangscape/doc/examples/example1/example_options.json:
    • example_options
  • after loading $HOME/Wangscape/doc/examples/example1/example_options_back.json
    • example_options
    • example_options_back
  • after loading $HOME/Wangscape/doc/examples/example2/example_options.json
    • example1/example_options
    • example1/example_options_back
    • example2/example_options.

Or, even, it can be made a hierarchy in a list, so:

  • example1/
    • example_options
    • example_options_back
  • example2/example_options.

Full path could be shown after hovering them.

@V1shvesh
Copy link
Contributor

@hryniuk Can I be assigned to this?

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

No branches or pull requests

2 participants