Skip to content
This repository has been archived by the owner on Nov 10, 2022. It is now read-only.

Bad external editor can lock UI #20

Closed
jwilk opened this issue Jul 19, 2018 · 1 comment
Closed

Bad external editor can lock UI #20

jwilk opened this issue Jul 19, 2018 · 1 comment
Assignees
@jwilk
Labels
bug

Comments

@jwilk
Copy link
Member

jwilk commented Jul 19, 2018

In #18 (comment), @trufanov-nok reported that bad (for example, nonexistent) editor can lock UI completely.

ISTR that I tested it in the past, and it worked correctly, but evidently it doesn't now. :-/
@jwilk jwilk added the bug label Feb 9, 2019
jwilk added a commit that referenced this issue Feb 15, 2019
@jwilk
gui.main: don't let bad editor lock UI.
90a8382 
I have no idea what I'm doing, but it helps.

#20
@jwilk jwilk self-assigned this Feb 15, 2019
@jwilk
Copy link
Member Author

jwilk commented Feb 15, 2019

Fixed in 0.3.

@jwilk jwilk closed this as completed Feb 15, 2019
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@jwilk jwilk

Labels
bug
Milestone
No milestone
Development

No branches or pull requests
1 participant
@jwilk