From 7114e1a840b5bb5403daef098b73d2cbd6fc1eaa Mon Sep 17 00:00:00 2001
From: "Mr.doob" <info@mrdoob.com>
Date: Sat, 21 Apr 2012 15:58:22 +0200
Subject: [PATCH] Docs: added button that opens github's editor. We'll see if
 this works out :P

---
 docs/index.html | 27 ++++++++++++++++++++++++++-
 1 file changed, 26 insertions(+), 1 deletion(-)
diff --git a/docs/index.html b/docs/index.html
index 3a66e612fa..2a300997ca 100644
--- a/docs/index.html
+++ b/docs/index.html
@@ -95,17 +95,42 @@
 					background-color: #f9f9f9;
 					overflow: auto;
 				}
+
+			#button {
+				position: fixed;
+				top: 20px;
+				right: 30px;
+				padding: 8px;
+				color: #fff;
+				background-color: #555;
+				opacity: 0.5;
+			}
+
+				#button:hover {
+					cursor: pointer;
+					opacity: 1;
+				}
 		</style>
 	</head>
 	<body>
 		<div id="panel"></div>
 		<div id="viewer"></div>
+		<div id="button">Edit this page</div>
 
 		<script>
 			var REVISION = '49dev';
 
+			var path = null;
+
 			var panel = document.getElementById( 'panel' );
 			var viewer = document.getElementById( 'viewer' );
+			var button = document.getElementById( 'button' );
+
+			button.addEventListener( 'click', function ( event ) {
+
+				window.open( 'https://github.com/mrdoob/three.js/edit/dev/docs/api/' + path + '.html' );
+
+			} );
 
 			var pages = {
 				"Integer": "Integer",
@@ -333,7 +358,7 @@
 
 			function goTo( name ) {
 
-				var path = pages[ name ];
+				path = pages[ name ];
 
 				window.location.hash = name;
 				viewer.innerHTML = '';
-- 
GitLab

