<div dir="ltr"><br><div class="gmail_extra"><br><br><div class="gmail_quote">On Mon, Jan 13, 2014 at 11:56 AM, Daniel Narvaez <span dir="ltr"><<a href="mailto:dwnarvaez@gmail.com" target="_blank">dwnarvaez@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr"><div class="im">On 13 January 2014 15:37, Gonzalo Odiard <span dir="ltr"><<a href="mailto:godiard@sugarlabs.org" target="_blank">godiard@sugarlabs.org</a>></span> wrote:<br>
</div><div class="gmail_extra"><div class="gmail_quote"><div class="im">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr">Sadly, have more sense set icon_size than pixel_size, right?<div>(More in the context of multiple pixels resolutions, like we have with the xo and the desktop)<br>
</div></div></blockquote><div><br></div></div>Well, we should be using the new layout scaling stuff in gtk to deal with different resolutions.<br><br><a href="http://blogs.gnome.org/alexl/2013/06/28/hidpi-support-in-gnome/" target="_blank">http://blogs.gnome.org/alexl/2013/06/28/hidpi-support-in-gnome/</a><br>
<br>If on the top of that we need to set different "pixel" sizes for icons, it seems like a constant will probably enough. The IconSize stuff was designed to support runtime switching because it was user configurable, and it's now all being deprecated because they don't want the user configurability anymore. In any case gtk is moving away from it, so we will need our own constant or more complex thing.<br>
</div><div class="gmail_quote"><div class="im"> <blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="ltr"><div><div></div><div>I think is better fix Icon to get the parameter and set the pixel_size,</div>
<div>and not do all the modifications Ignacio found.</div></div></div></blockquote><div><br></div></div><div>Why? I think it's pretty clear that Gtk.IconSize will go away in gtk4. It seems a good idea to get rid of it at least in core (and suggest to do the same in activities). It will be less work when it goes away completely.<br>
</div><div class="im"><div> </div></div></div></div></div></blockquote><div><br></div><div>Yes. I was talking about the parameter. I agree we will need our own size constants to replace Gtk.IconSize.*</div><div><br></div>
<div>Gonzalo</div></div>
</div></div>