spirali / kaira

Main repository of project Kaira
http://verif.cs.vsb.cz/kaira
GNU General Public License v3.0
5 stars 8 forks source link

Make PID always visible on token #15

Open MartinBeseda opened 9 years ago

MartinBeseda commented 9 years ago

It'd be very useful to make PID always visible in token_name string. Now its visibility is not guaranteed, which can be sometimes really problematic, especially when we want to see a preview of token's content, but it's too large and it occupies all the space for token_name.

To achieve this permanent visibility I suggest to make PID independent on token_name function, so it'd be attached to the visible string every time. The second thing I suggest is to reduce the length of the token's "preview string", to make space for PID.