From f580f537f3a0d8d6d9911c0ec3c1ccf289704ca0 Mon Sep 17 00:00:00 2001
From: Michael Jastram <michael@jastram.de>
Date: Mon, 6 Jun 2011 19:18:49 +0000
Subject: [PATCH] Added Feedback Mechanism

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@11864 1434b563-b632-4741-aa49-43a3a8374d2e
---
 .../rodin-theme-eclipse/default-layout.html      |  12 ++++++++++++
 .../rodin-theme-eclipse/icons/feedback.gif       | Bin 0 -> 159 bytes
 .../Themes/rodin-theme-html/default-layout.html  |  15 ++++++++++++---
 .../org.rodinp.handbook.feature build.xml.launch |   1 +
 4 files changed, 25 insertions(+), 3 deletions(-)
 create mode 100644 org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/feedback.gif

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
index 560388c..b3221ae 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/default-layout.html
@@ -10,6 +10,7 @@
 <link tal:condition="links/prev" rel="prev" tal:attributes="href links/prev/url; title links/prev/title/textContent" />
 <link tal:condition="links/up" rel="up" tal:attributes="href links/up/url; title links/up/title/textContent" />
 <link rel="stylesheet" href="styles/styles.css" />
+
 </head>
 <body>
 
@@ -60,6 +61,17 @@
 | <a class="footer" rel="license" href="http://creativecommons.org/licenses/by/3.0/">
 <img alt="Creative Commons License" style="border-width:0" src="icons/cc-by.png" /></a>
 Creative Commons License
+|
+<img src="icons/feedback.gif" /> <a class="footer" href="" id="feedback">Feedback</a>
+<div style="visibility:hidden;" id="section" tal:content="self/title"></div>
+<script>
+section = encodeURIComponent(document.getElementById("section").innerHTML);
+url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRzZGdDVE16WFZmZmd1alE6MQ"
+    + String.fromCharCode(38) + "entry_0=" + section;
+document.getElementById("feedback").href = url;
+</script>
+
+
 
 </div>
 
diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/feedback.gif b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-eclipse/icons/feedback.gif
new file mode 100644
index 0000000000000000000000000000000000000000..1211bdc6045206facbf21915af72973716fa7bca
GIT binary patch
literal 159
zcmZ?wbhEHb6krfw*v!E2|NsA)GiSbi`}WzhXTN{{{_x?$qeqW^{P=P2-o2MEUw--W
z<@)vOw{PFReEIT)3l|s|7!-f9Fo1v#hya<vz~Up&;IMjW(X+FMRT4D1t|ZRW@X|b0
zx-mrYyooPo#k$ualXi&7r#k3J^@=nXolL1>>R3@C_0^++vF+Nan=E1pdFH|y9mm6u
MORhcX!oXk+0JNM;{r~^~

literal 0
HcmV?d00001

diff --git a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
index 146196d..9953812 100644
--- a/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
+++ b/org.rodinp.handbook.feature/XHTML/Themes/rodin-theme-html/default-layout.html
@@ -17,9 +17,7 @@
 <tr><td valign="top" width="135px">
 
 <center>
-Rodin
-User
-Manual
+<h2><a id="navlist" href="index.html">Rodin Handbook</a></h2>
 </center>
 
 <br/>
@@ -27,10 +25,21 @@ Manual
 <div id="navcontainer">
 <ul id="navlist">
 <li><a href="index.html">Handbook Home</a>
+<li><a href="" id="feedback">Feedback</a>
 <li><a href="">Handbook as PDF</a>
 <li><a href="http://wiki.event-b.org/">Rodin Wiki</a>
 <li><a href="http://sourceforge.net/projects/rodin-b-sharp/">Rodin Download</a>
 <li><a href="mailto:michael.jastram@formalmind.com">Contact</a>
+
+<div style="visibility:hidden;" id="section" tal:content="self/title"></div>
+<script>
+section = encodeURIComponent(document.getElementById("section").innerHTML);
+url = "https://spreadsheets.google.com/spreadsheet/viewform?formkey=dEJmXzUydnRzZGdDVE16WFZmZmd1alE6MQ"
+    + String.fromCharCode(38) + "entry_0=" + section;
+document.getElementById("feedback").href = url;
+</script>
+
+
 </ul>
 </div>
 
diff --git a/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch b/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch
index b6dc049..0d1d64c 100644
--- a/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch	
+++ b/org.rodinp.handbook.feature/org.rodinp.handbook.feature build.xml.launch	
@@ -16,6 +16,7 @@
 <stringAttribute key="org.eclipse.jdt.launching.MAIN_TYPE" value="org.eclipse.ant.internal.launching.remote.InternalAntRunner"/>
 <stringAttribute key="org.eclipse.jdt.launching.PROJECT_ATTR" value="org.rodinp.handbook.feature"/>
 <stringAttribute key="org.eclipse.jdt.launching.SOURCE_PATH_PROVIDER" value="org.eclipse.ant.ui.AntClasspathProvider"/>
+<stringAttribute key="org.eclipse.ui.externaltools.ATTR_ANT_TARGETS" value="generate-html,"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LAUNCH_CONFIGURATION_BUILD_SCOPE" value="${none}"/>
 <stringAttribute key="org.eclipse.ui.externaltools.ATTR_LOCATION" value="${workspace_loc:/org.rodinp.handbook.feature/build.xml}"/>
 <stringAttribute key="process_factory_id" value="org.eclipse.ant.ui.remoteAntProcessFactory"/>
-- 
GitLab