Mark prototype as updated when functions, actions or templates are removed from it.
This commit is contained in:
		
							parent
							
								
									7799423ae5
								
							
						
					
					
						commit
						2ce2f6fd0c
					
				
					 1 changed files with 5 additions and 1 deletions
				
			
		| 
						 | 
					@ -231,18 +231,22 @@ public final class Prototype {
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    public synchronized void removeUpdatable (String fileName) {
 | 
					    public synchronized void removeUpdatable (String fileName) {
 | 
				
			||||||
	updatables.remove (fileName);
 | 
						updatables.remove (fileName);
 | 
				
			||||||
 | 
						markUpdated ();
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    public synchronized void removeAction (String actionName) {
 | 
					    public synchronized void removeAction (String actionName) {
 | 
				
			||||||
	actions.remove (actionName);
 | 
						actions.remove (actionName);
 | 
				
			||||||
 | 
						markUpdated ();
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
    public synchronized void removeFunctionFile (String functionFileName) {
 | 
					    public synchronized void removeFunctionFile (String functionFileName) {
 | 
				
			||||||
	functions.remove (functionFileName);
 | 
						functions.remove (functionFileName);
 | 
				
			||||||
 | 
						markUpdated ();
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
    
 | 
					
 | 
				
			||||||
    public synchronized void removeTemplate (String templateName) {
 | 
					    public synchronized void removeTemplate (String templateName) {
 | 
				
			||||||
	templates.remove (templateName);
 | 
						templates.remove (templateName);
 | 
				
			||||||
 | 
						markUpdated ();
 | 
				
			||||||
    }
 | 
					    }
 | 
				
			||||||
 | 
					
 | 
				
			||||||
 | 
					
 | 
				
			||||||
| 
						 | 
					
 | 
				
			||||||
		Loading…
	
	Add table
		Add a link
		
	
		Reference in a new issue