Even when inverse search works (for me it worked, but now it doesn't work for some reason), okular is a much worse previewer than kdvi. It takes more time to reload and is more unstable.
Please include kdvi back again and let us choose our favorite previewer!
Even when inverse search works (for me it worked, but now it doesn't work for some reason), okular is a much worse previewer than kdvi. It takes more time to reload and is more unstable.
Please include kdvi back again and let us choose our favorite previewer!