Revision 38765
#989 Added mouse listener to notify that the user options in the panel have changed
Files
- added
- modified
- copied
- renamed
- deleted
Added by Juan Lucas DomÃnguez over 11 years ago
#989 Added mouse listener to notify that the user options in the panel have changed