در تکمیکر نسخهی ۳.۱ اگر روی نمایشگر داخلی تنظیمش کرده باشید، اگر در فایل TeX در نقطهی کلیک کنید و سپس دکمهی F7 را بزنید، معادل آن نقطهای که در فایل TeX کلیک کردهاید، در فایل pdf، قرمز رنگ (highlight) میشود.
یعنی نیازی نیست کلیک راست کنید و بزنید jump to pdf!