> 2) Give up, and just make the tabs flush with the top of the window we > have. This is probably ugly in the general case (since there will be > an edge between the title bar and tabs), but will work in all > situations.
I'm not sure I understand what this "ugly edge" is. Do you mean the line/bevel that window managers typically draw under the title bar? Michael --~--~---------~--~----~------------~-------~--~----~ Chromium Developers mailing list: [email protected] View archives, change email options, or unsubscribe: http://groups.google.com/group/chromium-dev -~----------~----~----~----~------~----~------~--~---
