Web lists-archives.com

Re: is xdvi broken?




On 2019.04.19 17:33, Étienne Mollier wrote:
...
It has this look and feel typical from monochrome X
graphical interfaces released in the 80's.  Tasty !  :)

At least for diagnosing this problem, I would be interested in an alternative to xdvi.



another desktop environment.  LXDE may, or may not, be to your
taste.  It is as light in weight as Xfce.

I think my machine is sufficiently fast that "lightweight" is not a concern. I simply cannot find my way around the gnome desktop -- I wish to see launchers for everything all the time, and not just when I run the cursor over the correct portion of the screen. The gnome approach must appeal to the video gamer; but I use the computer for serious work. With Debian releases 7 and 8, I have been running xfce.



The program may become heavy on CPU due to necessary redraws
each time a window covers it.

In the workspace I have Emacs, two instances of xdvi, xfce-4-terminal, and xfce-dictionary. I am working on a ten-page text-only document with LaTeX markup. I did not experience this problem with Debian 8.



Are you running your Xfce desktop with or without the compositor ?

I found the menu; ENABLE DISPLAY COMPOSITING was checked. I was unaware of the "tweaks" menu.