0a2e6ad8b0c19dbcbe7a68af95d7e2eb4eb87c18
				
			
			
		
	* src/FilterEditor/_FilterEditor.py (check_recursive_filters, clean_after_rename, _do_delete_filter,_do_delete_selected_filter): Handle renaming and deletion of filters when other filters depend on them. * src/FilterEditor/_EditFilter.py (filter_name_changed): Prohibit creating new filter names colliding with existing filter names; (on_ok_clicked): Signal the name change. * src/DisplayState.py (DisplayState.__signals__): Add new signal to indicate filter name change: necessary for renaming/removing filters based on the changed name. svn: r8525
Description
				
					Languages
				
				
								
								
									Python
								
								96.1%
							
						
							
								
								
									CSS
								
								2.6%
							
						
							
								
								
									Roff
								
								0.7%
							
						
							
								
								
									HTML
								
								0.3%
							
						
							
								
								
									Genero Forms
								
								0.1%
							
						
							
								
								
									Other
								
								0.2%