scrawl
								
							 
						 | 
						
							
							
							
							
								
							
							
								9fda3b6db4
								
							
						 | 
						
							
							
								
								Fix NumericEditBox behavior broken by switch to std::stoi
							
							
							
							
							
							
							
							For some reason stoi doesn't throw an error for '1foo' while 'foo1' does.
Now the edit box flat out rejects any non-digit key events. 
							
						 | 
						
							2017-11-20 23:20:03 +00:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									scrawl
								
							 
						 | 
						
							
							
							
							
								
							
							
								76ddf8d794
								
							
						 | 
						
							
							
								
								Support Up/DownArrow keys to change NumericEditBox value
							
							
							
							
							
						 | 
						
							2017-09-25 00:47:07 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Bret Curtis
								
							 
						 | 
						
							
							
							
							
								
							
							
								c6805314c2
								
							
						 | 
						
							
							
								
								be explicit about what we are trying to catch instead of catching everything and fixed up formatting
							
							
							
							
							
							
							
							use Allman style brackets not K&R style, additional formatting for fallback.cpp which needed some love
revert allman formatting changes 
							
						 | 
						
							2017-06-12 00:32:29 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									Bret Curtis
								
							 
						 | 
						
							
							
							
							
								
							
							
								d48b829b45
								
							
						 | 
						
							
							
								
								replace and purge boost::lexical_cast
							
							
							
							
							
						 | 
						
							2017-06-09 19:08:53 +02:00 | 
						
						
							
							
							
								
							
							
						 | 
					
				
					
						
							
								
								
									 
									scrawl
								
							 
						 | 
						
							
							
							
							
								
							
							
								0bc840aadd
								
							
						 | 
						
							
							
								
								Add NumericEditBox widget
							
							
							
							
							
						 | 
						
							2014-09-25 21:04:51 +02:00 | 
						
						
							
							
							
								
							
							
						 |