On Tuesday 03 March 2015 23:26:20 midi-pascal wrote:
> For me (TDE 3.5.13.2 / Ubuntu 12.04) the list in the Build Search Index
> window stays desperately empty whatever I select in the "Contents" tab

Thanks, Michele - but same here.  I shall just have to wait until I have 
upgraded!  Yet another reason to get on with upgrading. ;-)

Lisi