Ubuntu
rubber package

  1. Bug #414431
  2. Comment #5

Comment 5 for bug 414431

Revision history for this message
Xavier (xpucel) wrote :

Thanks joenix, with your fix, both forward and backward Ctrl+clic work for me. I did not alter anything else.

Ubuntu 12.04, gedit 3.4.1, evince 3.4.0, gedit-plugins 3.3.4, tex compilation via this external tool :
#!/bin/sh
rubber -d "$GEDIT_CURRENT_DOCUMENT_PATH"
PDF_NAME=$(echo $GEDIT_CURRENT_DOCUMENT_PATH | sed s/tex$/pdf/)
gnome-open "$PDF_NAME" > /dev/null 2>&1