home *** CD-ROM | disk | FTP | other *** search
/ InfoMagic Source Code 1993 July / THE_SOURCE_CODE_CD_ROM.iso / gnu / lucid / help-lucid-emacs / text0522.txt < prev    next >
Encoding:
Text File  |  1993-07-14  |  1.6 KB  |  48 lines
  1. In article <9306111234.AA05487@shemesh.larc.nasa.gov> cmh@air16.larc.nasa.gov (C. Michael Holloway) writes:
  2.  
  3. >
  4. >I often run 2 Emacs at once, one of which provides the interface to a theorem
  5. >prover.  It would be very nice if there was a way to let the window manager
  6. >(tvtwm) know that the 2 Emacs were different.  For example, I'd like to be
  7. >able to have one icon manager for my "regular" emacs and another for my
  8. >"theorem-proving" emacs.
  9. >
  10. >The -name option allows me to have different colors and things for each
  11. >Emacs, but the class name (and thus the identity to the window manager) for
  12. >both is the same, namely "Emacs".  I would like for one to be "Emacs" and the
  13. >other to be, for example, "PVSEmacs".  
  14. >
  15. >Can this be done, and if so, how can it be done?
  16. >
  17.  
  18. You can take the name of a program instead of the classname. For example:
  19.  
  20. lemacs*Font: -*-courier-medium-r-*-*-*-140-*-*-*-*-iso8859-1
  21. pvsemacs*Font: 9x4
  22.  
  23. for the programnames lemacs and pvsemacs. 
  24.  
  25.  
  26. You can also make a symbolic link to the lemacs and use a second name to start
  27. the same program with other X resources. For example:
  28.  
  29. ln -s lemacs root-lemacs
  30. and
  31. root-lemacs*Title: ROOT
  32.  
  33.  
  34. I hope this helps
  35.  
  36. Heiko
  37. --
  38. ________________________________________________________________________________
  39.  
  40. Dipl.-Ing. Heiko Muenkel           Universitaet Hannover
  41.                    Institut fuer Theoretische Nachrichtentechnik
  42.                    und Informationsverarbeitung
  43. muenkel@tnt.uni-hannover.de        Appelstrasse 9A
  44. fax:    +49-511-762-5333           D-3000 Hannover 1
  45. phone:  +49-511-762-5323           Germany
  46. ________________________________________________________________________________
  47.  
  48.