Print tex space
Allow Eclipse to jumpto line number