some refactoring...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>

ui (gen4)/features/keyboard.js

@@ -154,18 +154,18 @@ module.GLOBAL_KEYBOARD2 = {
 		meta_Q: 'close',
 
 		// XXX
-		F5: keyboard.doc('Reload viewer (full)', 
+		F5: 'reload!: "full"',
+		/*F5: keyboard.doc('Reload viewer (full)', 
 			function(){ 
 				//a.stop()
-				/*
-				killAllWorkers()
-					.done(function(){
-						reload() 
-					})
-				*/
+				//killAllWorkers()
+				//	.done(function(){
+				//		reload() 
+				//	})
 				location.reload()
 				return false
 			}),
+		//*/
 
 		F12: 'showDevTools',
 		// NOTE: these are for systems where F** keys are not available 

ui (gen4)/features/ui.js

@@ -331,6 +331,18 @@ module.ViewerActions = actions.Actions({
 	// 		- we depend on the internals of a custom add-on feature
 	reload: ['Interface/Reload viewer',
 		function(force){
+			// full reload...
+			if(force == 'full'){
+				//this.stop()
+				/*
+				killAllWorkers()
+					.done(function(){
+						reload() 
+					})
+				*/
+				location.reload()
+			}
+
 			this.ribbons.preventTransitions()
 
 			// NOTE: this essentially sets the update threshold to 0...