Hi
Is there an icon (.xpm, .gif) favoured by the developers for Ciao Prolog.
I would like to add a launcher for Prolog and Prolog applicactions to Redhat 7.3 Gnome desktops and SuSE KDE desktops
John O'Gorman ============================================================================== Message: Address: Action: help majordomo(a)clip.dia.fi.upm.es Info. on useful commands subscribe ciao-users-request(a)clip.dia.fi.upm.es Subscribe to this list unsubscribe ciao-users-request(a)clip.dia.fi.upm.es Unsubscribe from this list <whatever> ciao-users(a)clip.dia.fi.upm.es Send message to list ----------------------------------------------------------------------------- Archived messages: http://www.clip.dia.fi.upm.es/Mail/ciao-users/ -----------------------------------------------------------------------------
John,
Is there an icon (.xpm, .gif) favoured by the developers for Ciao Prolog.
I would like to add a launcher for Prolog and Prolog applicactions to Redhat 7.3 Gnome desktops and SuSE KDE desktops
There are Ciao .xpm logos in the emacs-mode dir of recent distributions. The main icon is:
ciao.xpm
which is what we use for launching the emacs environment from the desktop. The function ciao-startup is useful in this context (I will send you separately an up-to-date version of ciao.el.body that contains a better version of this).
It would be nice to configure things so that Ciao/Prolog files are presented with the right icons and suitable actions taken when double-clicking on them (e.g., opening emacs). This is a needed thing that we simply have not had time to do yet (it has been done for the Windows version, though, mainly because some users there may not be able to work at first without icons). The following icons in the emacs-mode dir of recent distributions are useful for this:
ciaopl.xpm (for .pl) ciaopo.xpm (for .po) ciaoitf.xpm (for .itf) ciaoasr.xpm (for .asr) ciaoexeout.xpm (for executables) (should remove the arrow, see Win ciaoexe.ico)
There are similar versions for Windows in the Win32 directory in the Windows distribution:
ciaoitf.ico (for .itf) ciaoscrt.ico (for .pls) ciaoasr.ico (for .asr) ciaopl.ico (for .pl) ciaoexe.ico (for executables) ciaopo.ico (for .po)
If you want to tackle this it would be great if you can share the changes. We would be happy to include them in the installation procedure that comes with the distribution.
Cheers,
MH
-
John O'Gorman -
Manuel Hermenegildo