|
Re: multiple instances of the same view [message #91158 is a reply to message #90657] |
Thu, 11 January 2007 16:51 |
Eclipse User |
|
|
|
Originally posted by: nmehrega.ca.ibm.com
This is a multipart message in MIME format.
--=_alternative 005CA59585257260_=
Content-Type: text/plain; charset="US-ASCII"
No, this currently isn't possible in TPTP, but there is an enhancement
open for it: https://bugs.eclipse.org/bugs/show_bug.cgi?id=152418
Feel free to add yourself to the CC list and vote for the enhancement to
increase its chances of getting implemented.
Navid Mehregani
--=_alternative 005CA59585257260_=
Content-Type: text/html; charset="US-ASCII"
<br><font size=2 face="sans-serif">No, this currently isn't possible in
TPTP, but there is an enhancement open for it: https://bugs.eclipse.org/bugs/show_bug.cgi?id=152418</font>
<br>
<br><font size=2 face="sans-serif">Feel free to add yourself to the CC
list and vote for the enhancement to increase its chances of getting implemented.</font>
<br>
<br><font size=2 face="sans-serif">Navid Mehregani</font>
--=_alternative 005CA59585257260_=--
|
|
|
Powered by
FUDForum. Page generated in 0.02659 seconds