Hi, <br><br>I can&#39;t find gtk bindings in either the plt search, planet, help-desk(3.72) or at <a href="http://www.gtk.org/language-bindings.html">http://www.gtk.org/language-bindings.html</a><br><br>Could anyone send a pointer?<br>
<br>Cheers, <br><br>Stephen <br><br><br><br><div class="gmail_quote">On Fri, Mar 14, 2008 at 6:03 PM, Corey Sweeney &lt;<a href="mailto:corey.sweeney@gmail.com">corey.sweeney@gmail.com</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
If you want styling/themes you can always use the gtk bindings.<br>
<br>
Corey<br>
<div><div></div><div class="Wj3C7c"><br>
On Mon, Mar 10, 2008 at 8:41 AM, Ben Simon &lt;<a href="mailto:benjisimon@gmail.com">benjisimon@gmail.com</a>&gt; wrote:<br>
&gt; Thanks Matthew -<br>
&gt;<br>
&gt; That&#39;s not exactly the answer I was hoping for, but it makes a lot of sense<br>
&gt; and I should be able to make do.<br>
&gt;<br>
&gt; -Ben<br>
&gt;<br>
&gt;<br>
&gt; On Mon, Mar 10, 2008 at 9:22 AM, Matthew Flatt &lt;<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>&gt; wrote:<br>
&gt;<br>
&gt; &gt;<br>
&gt; &gt; At Sun, 9 Mar 2008 23:45:03 -0400, &quot;Ben Simon&quot; wrote:<br>
&gt; &gt; &gt; How do I style MrEd components? That is, how could I make a button red,<br>
&gt; or a<br>
&gt; &gt; &gt; border green? &nbsp;I see where I can make use of different fonts, but that&#39;s<br>
&gt; &gt; &gt; about all I see in terms of controlling the Look &amp; Feel of the<br>
&gt; components.<br>
&gt; &gt; &gt;<br>
&gt; &gt; &gt; What am I missing? &nbsp;I&#39;m sure it&#39;s something obvoius, but I&#39;ve been<br>
&gt; through<br>
&gt; &gt; &gt; the docs now quite a few times and I don&#39;t see anything jumping out at<br>
&gt; me.<br>
&gt; &gt;<br>
&gt; &gt; There&#39;s no way to control features like the color of a standard button.<br>
&gt; &gt; That&#39;s by design, so that the GUI library can use the current<br>
&gt; &gt; platform&#39;s toolbox, which has its own look-and-feel. All GUI toolboxes<br>
&gt; &gt; that we use accommodate a font change for a button, but sometimes not<br>
&gt; &gt; much else.<br>
&gt; &gt;<br>
&gt; &gt; Creating a button with a bitmap label may give you a bit more control.<br>
&gt; &gt; More generally, you can derive a sub-class of `canvas%&#39; and draw<br>
&gt; &gt; anything as a control.<br>
&gt; &gt;<br>
&gt; &gt; Matthew<br>
&gt; &gt;<br>
&gt; &gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt;<br>
&gt; --<br>
&gt; I&#39;m so done with my commute. See what I&#39;m up to now:<br>
&gt; <a href="http://www.ideas2executables.com" target="_blank">www.ideas2executables.com</a><br>
&gt; &nbsp;The Blog: <a href="http://benjisimon.blogspot.com" target="_blank">benjisimon.blogspot.com</a><br>
&gt;<br>
</div></div><div class="Ih2E3d">&gt; _________________________________________________<br>
&gt; &nbsp; For list-related administrative tasks:<br>
&gt; &nbsp; <a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
&gt;<br>
&gt;<br>
<br>
<br>
<br>
</div><font color="#888888">--<br>
((lambda (y) (y y)) (lambda (y) (y y)))<br>
</font><div><div></div><div class="Wj3C7c">_________________________________________________<br>
 &nbsp;For list-related administrative tasks:<br>
 &nbsp;<a href="http://list.cs.brown.edu/mailman/listinfo/plt-scheme" target="_blank">http://list.cs.brown.edu/mailman/listinfo/plt-scheme</a><br>
</div></div></blockquote></div><br><br clear="all"><br>-- <br>Cheers,<br><br>Stephen<br><br>--<br>Stephen De Gabrielle<br><a href="mailto:s.degabrielle@ucl.ac.uk">s.degabrielle@ucl.ac.uk</a><br>Telephone +44 (0)20 7679 5242 (x45242)<br>
Mobile 079 851 890 45<br>Project: Making Sense of Information (MaSI)<br><a href="http://www.uclic.ucl.ac.uk/annb/MaSI.html">http://www.uclic.ucl.ac.uk/annb/MaSI.html</a><br><br>UCLIC: University College London Interaction Centre<br>
<a href="http://www.uclic.ucl.ac.uk/">http://www.uclic.ucl.ac.uk/</a><br><br>Remax House - 31/32 Alfred Place<br>London - WC1E 7DP