« Previous | Next » 

Revision b19387c0

IDb19387c08f47130a0a612332e0e27ed1b0843197
Parent 6b1d7571
Child e0ece6bf

Added by kbsymanz over 4 years ago

Store text size to user preferences (closes #16)

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences