Commit 1c532f9f authored by Joost Rijneveld's avatar Joost Rijneveld

Added print() without newline, fixed font consistency

parent ebc4a900
...@@ -486,7 +486,7 @@ public class Machine ...@@ -486,7 +486,7 @@ public class Machine
b.putInt(pop()); b.putInt(pop());
try try
{ {
messenger.println( "" + new String(b.array(), "UTF-32BE") ) ; messenger.print( "" + new String(b.array(), "UTF-32BE") ) ;
} }
catch (UnsupportedEncodingException e) catch (UnsupportedEncodingException e)
{ {
......
...@@ -10,8 +10,8 @@ package nl.uu.cs.ssm ; ...@@ -10,8 +10,8 @@ package nl.uu.cs.ssm ;
public interface Messenger public interface Messenger
{ {
public void println( String s ) ; public void print(String s);
public void println(String s);
/** /**
* Asks the user for an integer value (i.e. via a dialog) * Asks the user for an integer value (i.e. via a dialog)
* @return Returns the integer value as provided by the user * @return Returns the integer value as provided by the user
......
...@@ -325,7 +325,7 @@ public class SSMRunner extends JFrame ...@@ -325,7 +325,7 @@ public class SSMRunner extends JFrame
outputScrollPane.setBorder(createTitledBorder("Output")); outputScrollPane.setBorder(createTitledBorder("Output"));
outputTextArea.setVisible(true); outputTextArea.setVisible(true);
outputTextArea.setEditable(false); outputTextArea.setEditable(false);
outputTextArea.setFont(new java.awt.Font("SansSerif", 0, 10)); outputTextArea.setFont(new java.awt.Font("SansSerif", 0, 12));
setLocation(new java.awt.Point(0, 0)); setLocation(new java.awt.Point(0, 0));
setFont(new java.awt.Font("SansSerif", 0, 12)); setFont(new java.awt.Font("SansSerif", 0, 12));
setJMenuBar(JMenuBar); setJMenuBar(JMenuBar);
...@@ -650,13 +650,18 @@ public class SSMRunner extends JFrame ...@@ -650,13 +650,18 @@ public class SSMRunner extends JFrame
} }
stepManager.endForwardStep() ; stepManager.endForwardStep() ;
} }
public void println( String s ) public void println( String s )
{ {
outputTextArea.append( s ) ; outputTextArea.append( s ) ;
outputTextArea.append( "\n" ) ; outputTextArea.append( "\n" ) ;
} }
public void print( String s )
{
outputTextArea.append( s ) ;
}
public int promptInt() public int promptInt()
{ {
while(true) while(true)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment