[Bug] Change sketchbook - libraries not reloaded

Hey community,

i have noticed a small bug in the arduino ide version 1.0.1:
if you change the sketchbook folder the ide reloads the new file structure but not the new libraries existing in this folder ?!

and small feature request:
would it be possible to have an dialog at startup asking which of the last 5 sketchbook locations you want to use this time?
the background is, i have a fix folder structure on the hard-disk - something like

home projects
- project 1
  * arduinosketchbook
  * infos
  * datasheets
- project 2
  * arduinosketchbook
  * infos
  * datasheets
- project 3
  * arduinosketchbook
  * infos
  * datasheets

so it would be cool to easily switch between my projects..

sunny greetings
stefan