-
Notifications
You must be signed in to change notification settings - Fork 0
/
lexertips.html
100 lines (94 loc) · 6.08 KB
/
lexertips.html
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
<!DOCTYPE html>
<html>
<head>
<link rel='shortcut icon' href='favicon.ico' type='image/x-icon'/ >
<title>JavaCC Help</title>
<link rel="stylesheet" href="common-styles.css">
<link rel="stylesheet" href="getting-started-styles.css">
<link rel="stylesheet" href="javacc-release-notes-styles.css">
<script src="jquery-1.11.3.min.js"></script>
</head>
<body>
<!--template-->
<div id="alldropdowns">
<div id="logo-container">
<a href="https://javacc.org"><img id="logo" src="https://javacc.org/new-javacc-logo.png"></a>
</div>
<div class="dropdown">
<button onclick="window.location = 'https://javacc.org/download';" class="dropbtn"><div class="drpdntext">DOWNLOAD</div></button>
</div>
<div class="dropdown">
<button onclick="window.location = 'https://javacc.org/doc';" class="dropbtn"><div class="drpdntext">DOCUMENTATION</div></button>
</div>
<div class="dropdown">
<button onclick="window.location = 'https://javacc.org/contact';" class="dropbtn"><div class="drpdntext">CONTACT</div></button>
</div>
</div>
<script src="expand-picture.js"></script>
<script>
(function(i,s,o,g,r,a,m){i['GoogleAnalyticsObject']=r;i[r]=i[r]||function(){
(i[r].q=i[r].q||[]).push(arguments)},i[r].l=1*new Date();a=s.createElement(o),
m=s.getElementsByTagName(o)[0];a.async=1;a.src=g;m.parentNode.insertBefore(a,m)
})(window,document,'script','https://www.google-analytics.com/analytics.js','ga');
ga('create', 'UA-81345115-1', 'auto');
ga('send', 'pageview');
</script>
<br><br><br><br>
<!--end-->
<!--helpbuttons-->
<table id="help-layout">
<tr>
<td id="cell1">
<script src="color-buttons.js"></script>
<div id="button-container">
<div class="help-button"><button id="main-btn" class="thebutton">JavaCC Help</button></div>
<div id="inside-help">
<div class="help-button"><button onclick="window.location = 'https://javacc.org/getting-started';" class="thebutton level1">Getting Started</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/doc';" class="thebutton level1">Documentation</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/javacc-release-notes';" class="thebutton level1">JavaCC Release Notes</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/jjtree-release-notes';" class="thebutton level1">JJTree Release Notes</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/jjdoc-release-notes';" class="thebutton level1">JJDoc Release Notes</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/contact';" class="thebutton level1">Mailing List</button></div>
<div class="help-button"><button onclick="showTutorials();" class="thebutton level1">▶ Tutorials</button></div>
<div id="tutorial-buttons">
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/lookahead';" class="thebutton level1">Lookahead</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/tokenmanager';" class="thebutton level1">Token Manager</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/errorrecovery';" class="thebutton level1">Error Recovery</button></div>
<div class="help-button"><button onclick="window.location = 'https://javacc.org/tutorials/charstream'" class="thebutton level1">Character Stream</button></div>
</div>
</div>
</div>
</td>
<!--end-->
<td id="cell2">
<div class="bottomhalf">
<iframe id="notes" src="https://javacc.java.net/doc/lexertips.html">
<p>Your browser does not support iframe.</p>
</iframe>
</div>
</td>
<script>
// taken from http://stackoverflow.com/questions/325273/make-iframe-to-fit-100-of-containers-remaining-height
var buffer = 20; //scroll bar buffer
var iframe = document.getElementById('notes');
function pageY(elem) {
return elem.offsetParent ? (elem.offsetTop + pageY(elem.offsetParent)) : elem.offsetTop;
}
function resizeIframe() {
var height = document.documentElement.clientHeight;
height -= pageY(document.getElementById('notes'))+ buffer ;
height = (height < 0) ? 0 : height;
document.getElementById('notes').style.height = height + 'px';
}
// .onload doesn't work with IE8 and older.
if (iframe.attachEvent) {
iframe.attachEvent("onload", resizeIframe);
} else {
iframe.onload=resizeIframe;
}
window.onresize = resizeIframe;
</script>
</tr>
</table>
</body>
</html>