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

Unify preferences layouts #1670

Merged
merged 2 commits into from
Jul 18, 2019
Merged

Conversation

Adikso
Copy link
Contributor

@Adikso Adikso commented Jul 18, 2019

Change debug preferences layout from this:
2019-07-17_14-23

to this:
2019-07-18_17-11

There are also changes to "Graph" but it looks the same.

@XVilka
Copy link
Member

XVilka commented Jul 18, 2019

What about reducing the length of the numeric fields? It looks a bit weird, but the rest is good.

@Adikso
Copy link
Contributor Author

Adikso commented Jul 18, 2019

2019-07-18_18-35
Good suggestion

@ITAYC0HEN
Copy link
Member

Thank you! Looks good ;)

@ITAYC0HEN ITAYC0HEN merged commit d22769e into rizinorg:master Jul 18, 2019
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

Successfully merging this pull request may close these issues.

None yet

3 participants