Lack of pixels between edge and text at edge of window when a new window is opened.

What steps will reproduce the problem?
1. Open a new window in Arduino.

What is the expected output? What do you see instead?
I expect to see some pixels between the window edge and the text. Instead, text 
buts right up against the edge of the window.

What version of the Arduino software are you using? On what operating
system?  Which Arduino board are you using?

This is a problem in the Arduino IDE. It has occurred over several versions of 
the IDE, not just the latest version.

Please provide any additional information below.

Original issue reported on code.google.com by jim.w.mu...@gmail.com on 2 Dec 2011 at 3:44

Attachments:

wherearethepixels.jpg

Abdellazizhammami / arduino

Lack of pixels between edge and text at edge of window when a new window is opened. #732