Embed Notice

@anthk Not knowing Arena, how are you setting the X resources? There are some conflicting ways to set it, besides a few places saying you need to run xrdb, which is not always true (and has the effect of making you need to run xrdb afterwards in the same X11 session). Just putting in $HOME/.Xdefaults ought to work, unless it's one of these situations where xrdb is needed. This seems to explain the different ways much better:
https://superuser.com/a/243916

#X11