From 421210f1035b1e3b0fcb179f7900cdb8c2ce8fa4 Mon Sep 17 00:00:00 2001
From: "Alex A. Naanou" <alex.nanou@gmail.com>
Date: Tue, 5 Feb 2013 20:21:06 +0400
Subject: [PATCH] added basic platform detection and platform specific
 settings...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
---
 index.html  | 9 +++++++++
 platform.js | 7 +++++++
 2 files changed, 16 insertions(+)
 create mode 100755 platform.js

diff --git a/index.html b/index.html
index 8e00597..d17f561 100755
--- a/index.html
+++ b/index.html
@@ -24,6 +24,7 @@ XXX scrollTo is a cool and a powerfull tool but it needs a sustantial code reorg
 <!--script src="editor.js"></script-->
 
 <!-- configuration, keep this last... -->
+<script src="platform.js"></script>
 <script src="keybindings.js"></script>
 <script src="config.js"></script>
 
@@ -703,6 +704,13 @@ $(document).ready(function(){
 							<td id="BrowserInfo">
 							</td>
 						</tr>
+						<tr>
+							<td>
+								User Agent: 
+							</td>
+							<td id="UserAgent">
+							</td>
+						</tr>
 					<table/>
 
 
@@ -760,6 +768,7 @@ $(document).ready(function(){
 						$('#FingersSupported').text($.fn.swipe.fingers.ALL)
 						var b = $('#BrowserInfo')
 						$.each($.browser, function(i, e){$('<div>'+i+': '+e+'</div>').appendTo(b)})
+						$('#UserAgent').text(navigator.userAgent)
 					}
 					function toggleSetting(obj){
 						obj = $(obj)
diff --git a/platform.js b/platform.js
new file mode 100755
index 0000000..710924b
--- /dev/null
+++ b/platform.js
@@ -0,0 +1,7 @@
+
+
+// PhoneGap...
+if(navigator.userAgent.match(/(iPhone|iPod|iPad|Android|BlackBerry)/)){
+	UPDATE_HASH_URL_POSITION = false
+	FULL_HISTORY_ENABLED = false
+}