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.

Sign up for GitHub

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

/theme properties segfaults #1380

Closed
jubalh opened this issue Jul 1, 2020 · 0 comments
Closed

/theme properties segfaults #1380

jubalh opened this issue Jul 1, 2020 · 0 comments
Assignees
@jubalh
Labels
bug
Milestone
0.9.5

Comments

@jubalh
Copy link
Member

jubalh commented Jul 1, 2020

Expected Behavior

/theme properties should print the properties of a theme.

Current Behavior

It segfaults.
@jubalh jubalh added the bug label Jul 1, 2020
@jubalh jubalh added this to the 0.9.5 milestone Jul 1, 2020
@jubalh jubalh self-assigned this Jul 1, 2020
@jubalh jubalh closed this as completed in 92cba92 Jul 1, 2020
jubalh added a commit that referenced this issue Jul 1, 2020
@jubalh
Add default value for titlebar.scrolled
6323dbc 
Fix #1380
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@jubalh jubalh

Labels
bug
Projects
None yet
Milestone
0.9.5
Development

No branches or pull requests
1 participant
@jubalh