Option to not 'Show file extension on tab' issues with custom editor titles

[GoogleCodeExporter]

What steps will reproduce the problem?
1. Change the title of an editor to "editor (mod1.mod2)"

What is the expected output? What do you see instead?

Right now it shows "editor (mod1", and I expected it to show "editor
(mod1.mod2)", but I know this may be difficult to determine as it could
vary, so, if it could let the title as it was, that would be a good
solution too (this is part of a new feature in pydev, so that 2 editors
don't show with the same name). 

A way to determine that would be going backwards and checking if some char
doesn't match against Character.isJavaIdentifierPart() (or maybe
Character.isLetterOrDigit()) until a '.' is found -- so, it would stop at
')'. There could be an option for that, but I believe it should be OK to
check that until the first dot is found (I don't think there's any common
extension that doesn't match that).

What version of the product are you using? On what operating system?

Version 1.5.3 on eclipse 3.6, windows xp.

Original issue reported on code.google.com by fabi...@gmail.com on 13 Apr 2010 at 10:18