« Previous | Next » 

Revision 8cdaf01f

ID8cdaf01f30acfd7bd593948426ce9b3aa374acf2
Parent 80e583fd
Child 7071b1c0

Added by Michal Seta 11 months ago

put the new widgets under GUI control with some sensible default

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences