Merge pull request #501 from burgerdev/pr-fillmissing-extension

fillmissing: added functionality to gui drawer
fillmissing: fixed isDirty() for serialization
fillmissing: patch size selector in gui, other stuff