]> gitweb.factorcode.org Git - factor.git/commit
projects / factor.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f718269) | patch
ui: better handling of cascading errors
authorBjörn Lindqvist <bjourne@gmail.com>
Tue, 27 Jun 2017 21:02:25 +0000 (23:02 +0200)
committerBjörn Lindqvist <bjourne@gmail.com>
Tue, 27 Jun 2017 21:47:35 +0000 (23:47 +0200)
commitfe41e99437db06ce7091c667978d521b2f14b739
treed30b7172b3a890b65782ab2f0815c48be73582catree | snapshot
parentf718269d508b249c2efcc3bb4e86446904a966e3commit | diff
ui: better handling of cascading errors

The second update-ui is wrapped in a recover so that if it fails
again, the UI system is stopped. That should fix the cascade problem
in #1827.
basis/ui/backend/backend.factor diff | blob | history
basis/ui/backend/gtk/gtk.factor diff | blob | history
basis/ui/gadgets/worlds/worlds.factor diff | blob | history
basis/ui/ui.factor diff | blob | history
Factor programming language