Added Feedback Mechanism

git-svn-id: svn://svn.code.sf.net/p/rodin-b-sharp/svn/trunk/Handbook@11864 1434b563-b632-4741-aa49-43a3a8374d2e

Added Feedback Mechanism
f580f537 · Michael Jastram · 882ec3c4 · f580f537 · f580f537 · f580f537
Commit f580f537 authored 14 years ago by Michael Jastram
--- 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>


--- 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
--- 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>


--- 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"/>