 ca09f4717d
			
		
	
	ca09f4717d
	
	
	
		
			
			Now, that we migrated diff user preferences to Git backend, we can easily introduce one of the most wanted customization option: blinking cursor. Set default to 0: no blinking cursor, to be backwards compatible. Change-Id: I40a3a43ea7636508f45badc4946d2f2455adb192