3 ms·

Thanks for taking the time to write such a detailed comment!

• kuschku 9y ago
  It’s honestly not much effort – I was compiling a new version of my app when I wrote it, and the last change I had done was the size of a button, because people complained about it. So I happened to have all the documents open by luck :)