diff options
| author | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2011-10-12 17:03:54 +0000 |
| commit | 44d1a5a9f71b03d9aceeccd760a63fcdc45f8bad (patch) | |
| tree | d51076a708997d6f1af6ac0deefd535bbc25f804 /src/runtime/javascript/minibar/feedback.html | |
| parent | 0aba45560d2033c37c3d2e876e6f3ef89e1554d6 (diff) | |
Improvements of "gf -server" mode and related setup
"gf -server" mode now contains everything needed to run the minibar and
the grammar editor (including example-based grammar writing).
The Setup.hs script installs the required files where gf -server can find them.
These files have been moved to a new directory: src/www.
The separate server program pgf-http is now obsolete.
Diffstat (limited to 'src/runtime/javascript/minibar/feedback.html')
| -rw-r--r-- | src/runtime/javascript/minibar/feedback.html | 48 |
1 files changed, 0 insertions, 48 deletions
diff --git a/src/runtime/javascript/minibar/feedback.html b/src/runtime/javascript/minibar/feedback.html deleted file mode 100644 index 94b15a482..000000000 --- a/src/runtime/javascript/minibar/feedback.html +++ /dev/null @@ -1,48 +0,0 @@ -<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd"> -<html> <head> -<title>Feedback</title> -<link rel=stylesheet type="text/css" href="minibar.css"> -<script type="text/JavaScript" src="support.js"></script> -<script type="text/JavaScript" src="minibar.js"></script> -<meta name = "viewport" content = "width = device-width"> - -</head> - -<body onload="prefill_feedback_form()"> - -<h2><span id=grammar></span> Feedback</h2> - -<form class=feedback name=feedback action="feedback.cgi" method="post"> -<input type=hidden name="grammar"> - -<p> -<input type=hidden name="from"> <span class=field id=from>...</span> input: -<input type=hidden name="input"> <span class=field id=input>...</span> - -<div id=translation_box> -<p><input type=hidden name="to"> <span class=field id="to">...</span> translation: -<input type=hidden name="translation"> <span class=field id=translation>...</span> - -<p><label accesskey="S">Suggest a better translation: -<textarea rows=3 name="improvement"></textarea></label> -</div> - -<p><label accesskey="C">Comments: -<br><textarea rows=5 name="comment"></textarea></label> - -<p> -<input type=submit value="Submit Feedback"> -<input type=button value="Cancel" onclick="window.close()"> - - -<input type=hidden name="inner_size"> -<input type=hidden name="outer_size"> -<input type=hidden name="screen_size"> -<input type=hidden name="available_screen_size"> -<input type=hidden name="color_depth"> -<input type=hidden name="pixel_depth"> - -</form> -</body> - -</html> |