diff options
| author | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-25 12:57:03 +0200 |
|---|---|---|
| committer | Gregor Kleen <pngwjpgh@users.noreply.github.com> | 2016-07-25 12:57:03 +0200 |
| commit | b0045e8c44c1a6e0a03ecaff0d8d9702bd5d395c (patch) | |
| tree | cc1bcba6284d970fafa56b761bf71673f1845933 | |
| parent | 7cb729577b26ce53ecd9c497be2e496b984f66d7 (diff) | |
| download | 2017-01-16_17:13:37-b0045e8c44c1a6e0a03ecaff0d8d9702bd5d395c.tar 2017-01-16_17:13:37-b0045e8c44c1a6e0a03ecaff0d8d9702bd5d395c.tar.gz 2017-01-16_17:13:37-b0045e8c44c1a6e0a03ecaff0d8d9702bd5d395c.tar.bz2 2017-01-16_17:13:37-b0045e8c44c1a6e0a03ecaff0d8d9702bd5d395c.tar.xz 2017-01-16_17:13:37-b0045e8c44c1a6e0a03ecaff0d8d9702bd5d395c.zip | |
Keep entity-name map intact as long as possible
| -rw-r--r-- | src/Main.hs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index 9a6a486..605d66d 100644 --- a/src/Main.hs +++ b/src/Main.hs | |||
| @@ -227,7 +227,6 @@ remove = withFocus $ \ident -> do | |||
| 227 | confirmation <- askBool ("Are you sure you want to remove ‘" ++ name ++ "’?") False | 227 | confirmation <- askBool ("Are you sure you want to remove ‘" ++ name ++ "’?") False |
| 228 | when confirmation $ do | 228 | when confirmation $ do |
| 229 | gEntities %= Map.delete ident | 229 | gEntities %= Map.delete ident |
| 230 | gEntityNames %= Bimap.delete ident | ||
| 231 | blur | 230 | blur |
| 232 | 231 | ||
| 233 | -- Manage Entity | 232 | -- Manage Entity |