Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							1e93feeff3
							
						
					 | 
					
						
						
							
							ui: distinguish regenerateScreens from journal reloading
						
						
						
						
						
					 | 
					
						2016-06-08 10:42:51 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							bbcbaf6080
							
						
					 | 
					
						
						
							
							ui: Esc (outside minibuffer) resets, jumps to top
						
						
						
						
						
					 | 
					
						2016-06-07 09:26:16 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							0a90ef4658
							
						
					 | 
					
						
						
							
							ui: preserve --ignore-assertions & flags on reload
						
						
						
						
						
					 | 
					
						2016-05-02 20:12:11 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							f331ebec16
							
						
					 | 
					
						
						
							
							ui, api: switch to the quicker-building microlens
						
						
						
						
						
						
						
						This may not make much difference since dependencies brick and
servant-swagger still depend on lens, but that might change. 
						
					 | 
					
						2016-04-04 17:50:58 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							2515025a84
							
						
					 | 
					
						
						
							
							ui: pressing g once now reloads all screens
						
						
						
						
						
					 | 
					
						2015-10-28 10:17:15 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							b527209e9f
							
						
					 | 
					
						
						
							
							ui: err: tweak error message, make it red
						
						
						
						
						
					 | 
					
						2015-10-28 10:02:04 -07:00 | 
					
					
						
						
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Simon Michael
							
						 
					 | 
					
						
						
						
						
							
						
						
							6f85e02f1a
							
						
					 | 
					
						
						
							
							ui: show an error screen when reloading fails
						
						
						
						
						
					 | 
					
						2015-10-26 07:41:45 -07:00 | 
					
					
						
						
							
							
							
						
					 |