added optional height for trinket

Author: ChrisMayfield

htmlonly

@@ -62,7 +62,7 @@
 {}
 
 % interactive code listing
-\lstnewenvironment{trinket}[1]
+\lstnewenvironment{trinket}[2][400]
 {}
 {}
 

latexonly

@@ -108,7 +108,7 @@
 {\endminipage}
 
 % interactive code listing
-\lstnewenvironment{trinket}[1]
+\lstnewenvironment{trinket}[2][400]
 {\minipage{\linewidth}}
 {\endminipage}
 

thinkjava.tex

@@ -561,7 +561,8 @@ \section{The hello world program}
 % more precise, but also to reduce the number of times ``print'' appears,
 % which is a lot!
 
-\begin{trinket}{Hello.java}
+% height = 130 + 15 * num_lines
+\begin{trinket}[235]{Hello.java}
 public class Hello {
 
     public static void main(String[] args) {
@@ -651,7 +652,7 @@ \section{Displaying strings}
 You can put as many statements as you like in \java{main}.
 For example, to display more than one line of output:
 
-\begin{trinket}{Hello.java}
+\begin{trinket}[250]{Hello.java}
 public class Hello {
 
     public static void main(String[] args) {
@@ -679,7 +680,7 @@ \section{Displaying strings}
 \java{System.out.println} appends a special character, called a {\bf newline}, that moves to the beginning of the next line.
 If you don't want a newline at the end, you can use \java{print} instead of \java{println}:
 
-\begin{trinket}{Goodbye.java}
+\begin{trinket}[235]{Goodbye.java}
 public class Goodbye {
 
     public static void main(String[] args) {
@@ -700,7 +701,7 @@ \section{Escape sequences}
 It is possible to display multiple lines of output in just one line of code.
 You just have to tell Java where to put the line breaks.
 
-\begin{trinket}{Hello.java}
+\begin{trinket}[220]{Hello.java}
 public class Hello {
 
     public static void main(String[] args) {
@@ -775,7 +776,7 @@ \section{Formatting code}
 But most other spaces are optional.
 For example, this program is legal:
 
-\begin{trinket}{Goodbye.java}
+\begin{trinket}[220]{Goodbye.java}
 public class Goodbye {
 public static void main(String[] args) {
 System.out.print("Goodbye, ");
@@ -787,7 +788,7 @@ \section{Formatting code}
 The newlines are optional, too.
 So we could just write:
 
-\begin{trinket}{Goodbye.java}
+\begin{trinket}[175]{Goodbye.java}
 public class Goodbye { public static void main(String[] args)
 { System.out.print("Goodbye, "); System.out.println
 ("cruel world");}}
@@ -1661,7 +1662,7 @@ \section{Types of errors}
 Error messages from the compiler usually indicate where in the program the error occurred, and sometimes they can tell you exactly what the error is.
 As an example, let's get back to the hello world program from Section~\ref{hello}.
 
-\begin{trinket}{Hello.java}
+\begin{trinket}[235]{Hello.java}
 public class Hello {
 
     public static void main(String[] args) {
@@ -1753,7 +1754,7 @@ \section{Types of errors}
 Instead, it will do exactly what you told it to do.
 For example, here is a version of the hello world program with a logic error:
 
-\begin{trinket}{Hello.java}
+\begin{trinket}[235]{Hello.java}
 public class Hello {
 
     public static void main(String[] args) {
@@ -2833,7 +2834,7 @@ \section{Adding new methods}
 You have probably guessed by now that you can define more than one method in a class.
 Here's an example:
 
-\begin{trinket}{NewLine.java}
+\begin{trinket}[310]{NewLine.java}
 public class NewLine {
 
     public static void newLine() {
@@ -3008,7 +3009,7 @@ \section{Parameters and arguments}
 The parameter list indicates what arguments are required.
 The following class shows an example:
 
-\begin{trinket}{PrintTwice.java}
+\begin{trinket}[295]{PrintTwice.java}
 public class PrintTwice {
 
     public static void printTwice(String s) {
@@ -3128,7 +3129,7 @@ \section{Stack diagrams}
 
 Pulling together the code fragments from the previous section, here is a complete class definition:
 
-\begin{trinket}{PrintTime.java}
+\begin{trinket}[340]{PrintTime.java}
 public class PrintTime {
 
     public static void printTime(int hour, int minute) {

trinket/trinket.tex

@@ -72,9 +72,9 @@
 
 % custom HTML for Trinket publisher tools
 % see http://hevea.inria.fr/doc/manual018.html
-\newenvironment{trinket}[1]
-{\@print{<script type="text/javascript">(function(d,l,s,i,c){function n(e){e=e.nextSibling;return (!e||e.nodeType!=3)?e:n(e);};function r(f){/in/.test(d.readyState) ? setTimeout(function(){r(f);},9):f()};l=d.getElementsByTagName('script');s=l[l.length-1];r(function(){i=n(s),c=n(i);i.setAttribute('data-src','https://trinket.io/tools/1.0/jekyll/embed/java#code='+encodeURIComponent(c.nodeValue.replace(/^\s+|\s+$/g,'')));});})(document)</script><iframe width="100\%" height="400" frameborder="0" marginwidth="0" marginheight="0" class="lazyload" allowfullscreen></iframe><!--}
-[[[[ #1 ]]]]\rawhtml}
+\newenvironment{trinket}[2][400]
+{\@print{<script type="text/javascript">(function(d,l,s,i,c){function n(e){e=e.nextSibling;return (!e||e.nodeType!=3)?e:n(e);};function r(f){/in/.test(d.readyState) ? setTimeout(function(){r(f);},9):f()};l=d.getElementsByTagName('script');s=l[l.length-1];r(function(){i=n(s),c=n(i);i.setAttribute('data-src','https://trinket.io/tools/1.0/jekyll/embed/java#code='+encodeURIComponent(c.nodeValue.replace(/^\s+|\s+$/g,'')));});})(document)</script><iframe width="100\%" height="}#1\@print{" frameborder="0" marginwidth="0" marginheight="0" class="lazyload" allowfullscreen></iframe><!--}
+[[[[ #2 ]]]]\rawhtml}
 {\endrawhtml\@print{-->}}
 
 % inline syntax formatting