tree 97ac15df49a7ba965960f2f132a5da80b517bb2b
parent 2ce047f3a4d4c75f7067ada327b5086a3adadebc
author Ed Merks <ed.merks@gmail.com> 1349526837 +0200
committer Ed Merks <ed.merks@gmail.com> 1349526837 +0200

[330200] Support a cancel button for model refresh and exploit it for
expensive map creation.