Project

General

Profile

« Previous | Next » 

Revision 6b605d3b

ID6b605d3bc285765c6096f6ba2cbbbd5cb4f072fc
Parent fdf52d6a
Child c079337e

Added by Andreas Kohlbecker over 2 years ago

ref #6087 area filter widget more initial size and resizeable

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences

Add picture from clipboard (Maximum size: 40 MB)