File:Pocket options.png

Options dialogue for pocket tool