Revision 1e1a1052
ref #6321 Cancel previous search when starting a new one
Files
- added
- modified
- copied
- renamed
- deleted
ID | 1e1a1052a1be52cf6791fc7ab99596268c7b2574 |
Parent | 927f13fa |
Child | 1e892f7f |
Added by Patrick Plitzner over 2 years ago
ref #6321 Cancel previous search when starting a new one