public void UpdateVariables()
	{
		synchronized(variables)
		{
			variableList.removeAll();
		
			for(String key : variables.keySet())
			{
				int val = variables.get(key);
				
				variableList.add(key + ": " + val);
			}
		}
		
		int lineNo = BareBonesInterpreter.syncObject.getLineNumber();
		
		int start, end;
		if(lineNo >= linePositions.size()) 
		{
			start = linePositions.get(linePositions.size()-1) + 1;
			end = input.getText().length();
		}
		else
		{
			if(lineNo == 0) start = 0;
			else start = linePositions.get(lineNo-1)+1;
			
			start = getNextNonWhitespace(start);
			
			end = linePositions.get(lineNo)+1;
		}
		
		Highlighter inputHighlighter = input.getHighlighter();
		try 
		{
			inputHighlighter.removeAllHighlights();
			inputHighlighter.addHighlight(start, end, new DefaultHighlighter.DefaultHighlightPainter(Color.yellow));
		}
		catch (Exception e) 
		{
		}
	}