Attachments

		Name	Size	Creator	Creation Date	Labels	Comment
		PNG File hide_uncommon_elements.png	6 kB	user-6f8ee	Nov 13, 2017 14:14	No labels
		Version 1 (current)	6 kB	user-6f8ee	Nov 13, 2017 14:14
		PNG File filter_options.png	0.3 kB	user-6f8ee	Jul 13, 2017 14:03	No labels
		Version 1 (current)	0.3 kB	user-6f8ee	Jul 13, 2017 14:03
		PNG File find_button.png	0.9 kB	user-6f8ee	Jul 13, 2017 14:03	No labels
		Version 1 (current)	0.9 kB	user-6f8ee	Jul 13, 2017 14:03
		PNG File find_button_2.png	0.4 kB	user-6f8ee	Jul 13, 2017 14:03	No labels
		Version 1 (current)	0.4 kB	user-6f8ee	Jul 13, 2017 14:03
		PNG File quick_find_button.png	0.9 kB	user-6f8ee	Jul 13, 2017 14:03	No labels
		Version 1 (current)	0.9 kB	user-6f8ee	Jul 13, 2017 14:03
		PNG File quick_find_options.png	4 kB	user-420c5	Jun 29, 2015 12:25	No labels
		Version 1 (current)	4 kB	user-420c5	Jun 29, 2015 12:25
		PNG File quick_find_dialog.png	11 kB	user-420c5	Jun 29, 2015 12:25	No labels
		Version 1 (current)	11 kB	user-420c5	Jun 29, 2015 12:25