I'm setting up a new laptop and installed Opera 12 and Opera 20 (since Opera 20 doesn't properly support bookmarks yet, and I have several thousand in Opera 12). I installed both versions of Opera before I copied across my Opera 12 bookmarks from my old machine.
Now I want to import the Opera 12 bookmarks on the bookmarks bar into Opera 20 (ie the few dozen I use every day). However, I find that the Opera 20 bookmark importer (Opera menu > More tools > Bookmark importer) is greyed out. I assume this is because I installed Opera 20 before I copied my Opera 12 bookmarks across from my old machine, so Opera 20 thinks there were no bookmarks to import.
How do I tell Opera 20 to re-import the Opera 12 bookmarks? ie How can I get it to re-read the Opera 12 bookmarks file so I can import them?