ui: "Size:" --> "brush size:", fixes #256