« Previous | Next » 

Revision 1a4d3455

ID1a4d34553a627de8b44c72be8435c93c841c48e8
Parent 1998b092
Child 817890f2

Added by Kostas Papadimitriou over 12 years ago

Fix background clipping on small window sizes

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences