summaryrefslogtreecommitdiff
path: root/desktop
diff options
context:
space:
mode:
authorJSDurand <mmemmew@gmail.com>2023-05-30 13:33:58 +0800
committerJSDurand <mmemmew@gmail.com>2023-05-30 13:33:58 +0800
commita7eff915e6691d1fc412c8d6df01e1906e8e9b38 (patch)
tree46d22f4eeea87aab203e5c680aa6d04dcb8e8cca /desktop
parentdd7c9b1d1ac7d6dbbdaa5759ef8292d5e11eabb4 (diff)
TeX: If the pdf is already displayed, reuse that window.
Sometimes I want to display the pdf side-by-side with the source file, in which case it would be natural and convenient to reuse the same window for displaying the pdf file, instead of switching to the pdf file in the window that was displaying the source file.
Diffstat (limited to 'desktop')
0 files changed, 0 insertions, 0 deletions