Arduino IDE: File Open menu option not working for recently used files.

I am using a GNU/LInux OS, ie Linux Mint 16 (Cinnamon desktop), 64-bit version. I have installed Arduino-IDE version 1:1.0.5+dfsg2-1 {nb, using OpenJDK 64-bit; 1.7.0-51}. I have an Arduino-Uno circuit connected via a USB cable.

When I select the "Open..." option from the "File" menu, of the Arduino IDE, I am presented with a window entitled "Open an Arduino sketch....", I am shown a list of "recently used" files/folders. If I select a file from the presented list (which is of a file in my "~/sketchbook" folder) then click on the "open" button, then nothing happens.

However if I navigate from my home folder to the same file in my sketchbook sub folder then I am able to see the code of the sketch concerned.

I am sorry if this is the wrong place to report such bugs.