search

namme-anetten / epigram

Automatically exported from code.google.com/p/epigram
0 stars 0 forks source link

Demo: hide (most of the) current position in Cochon prompt #102

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
Right now, I'm working under:

trans_4.impl_2.relabel_12.makeE_1.m_1.pig_1.pig_1.pig_1.pig_1.pig_1.pig_1.pig_1.
pig_63.makeE_1.m_1.pig_11.makeE_1.m_1.pig_22.makeE_1.m_1.pig_45.tsg_2 > 

This is not really helpful and has a huge Fear Factor. Plus, it's annoying.

We could keep the first part of the name, followed by ellipsis, and the last 
part of the name, for example.

Original issue reported on code.google.com by pedag...@gmail.com on 9 Sep 2010 at 3:34