| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2014-04-13 | Removed winbuttonsize/; we're not going to use that for a while (the sizing ↵ | Pietro Gagliardi | |
| we have now is fine; not optimal, but it works, for the most part). (We can always pull it back later.) | |||
| 2014-04-03 | Added question about Windows proper sizes... for now... | Pietro Gagliardi | |
