For the record, on ubuntu 12.04, the following setup works when invoking
factor from the command line or through unity lenses.
By "works", I mean that an icon with the correct resolution is displayed
during alt-tab and in the left launcher bar.
I don't know much about icons and .desktop files, so this is probably not
the best solution.
jon@zik:~/factor$ ls -l /usr/share/pixmaps/factor.png
lrwxrwxrwx 1 root root 46 déc. 2 21:32 /usr/share/pixmaps/factor.png ->
/home/jon/factor/misc/icons/Factor_128x128.png
jon@zik:~/factor$ cat /usr/share/applications/factor.desktop
[Desktop Entry]
Type=Application
Name=Factor
Comment=stacky
Exec=/home/jon/factor/factor
Icon=factor
With the 2 previous files, it is not necessary to load the icon at runtime,
as shown by the following diff in my source tree:
diff --git a/basis/ui/backend/gtk/gtk.factor
b/basis/ui/backend/gtk/gtk.factor
index adcad20..eacd8cd 100644
--- a/basis/ui/backend/gtk/gtk.factor
+++ b/basis/ui/backend/gtk/gtk.factor
@@ -234,7 +234,7 @@ CONSTANT: action-key-codes
] [ drop f ] recover ;
: load-icon ( -- )
- get-icon-data [
+ f [
[
data>GInputStream &g_object_unref
GInputStream>GdkPixbuf gtk_window_set_default_icon
Jon
Jon
On Fri, Dec 7, 2012 at 12:13 AM, John Benediktsson <mrj...@gmail.com> wrote:
> Hi Marek,
>
> You mean to work within Gnome Shell? Isn't that just a matter of
> including up to 256x256 icons in your package and .desktop file?
>
>
> On Thu, Dec 6, 2012 at 2:27 PM, Marek Kubica <ma...@xivilization.net>wrote:
>
>> On Thu, 6 Dec 2012 09:34:12 -0800
>> John Benediktsson <mrj...@gmail.com> wrote:
>>
>> > Out of curiosity, is there some particular use-case you have for
>> > this? Or just preparing for a higher resolution future?
>>
>> Well, for one I'd be cool if the icon for the Factor shell in Linux
>> distributions was scalable. Currently I ship the old logo in the Arch
>> Linux package and it is a bitmap and looks quite ugly.
>>
>> Andrew, your collection of icons is pretty awesome. Wish I knew about
>> it one week ago when I laser-etched my laptop.
>>
>> regards,
>> Marek
>>
>>
>> ------------------------------------------------------------------------------
>> LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
>> Remotely access PCs and mobile devices and provide instant support
>> Improve your efficiency, and focus on delivering more value-add services
>> Discover what IT Professionals Know. Rescue delivers
>> http://p.sf.net/sfu/logmein_12329d2d
>> _______________________________________________
>> Factor-talk mailing list
>> Factor-talk@lists.sourceforge.net
>> https://lists.sourceforge.net/lists/listinfo/factor-talk
>>
>
>
>
> ------------------------------------------------------------------------------
> LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
> Remotely access PCs and mobile devices and provide instant support
> Improve your efficiency, and focus on delivering more value-add services
> Discover what IT Professionals Know. Rescue delivers
> http://p.sf.net/sfu/logmein_12329d2d
> _______________________________________________
> Factor-talk mailing list
> Factor-talk@lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/factor-talk
>
>
------------------------------------------------------------------------------
LogMeIn Rescue: Anywhere, Anytime Remote support for IT. Free Trial
Remotely access PCs and mobile devices and provide instant support
Improve your efficiency, and focus on delivering more value-add services
Discover what IT Professionals Know. Rescue delivers
http://p.sf.net/sfu/logmein_12329d2d
_______________________________________________
Factor-talk mailing list
Factor-talk@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/factor-talk
