<div>Thanks Matthew -</div>
<div>&nbsp;</div>
<div>That&#39;s not exactly the answer I was hoping for, but it makes a lot of sense and I should be able to make do.</div>
<div>&nbsp;</div>
<div>-Ben<br><br></div>
<div class="gmail_quote">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>
<blockquote class="gmail_quote" style="PADDING-LEFT: 1ex; MARGIN: 0px 0px 0px 0.8ex; BORDER-LEFT: #ccc 1px solid">
<div class="Ih2E3d">At Sun, 9 Mar 2008 23:45:03 -0400, &quot;Ben Simon&quot; wrote:<br>&gt; How do I style MrEd components? That is, how could I make a button red, or a<br>&gt; border green? &nbsp;I see where I can make use of different fonts, but that&#39;s<br>
&gt; about all I see in terms of controlling the Look &amp; Feel of the components.<br>&gt;<br>&gt; What am I missing? &nbsp;I&#39;m sure it&#39;s something obvoius, but I&#39;ve been through<br>&gt; the docs now quite a few times and I don&#39;t see anything jumping out at me.<br>
<br></div>There&#39;s no way to control features like the color of a standard button.<br>That&#39;s by design, so that the GUI library can use the current<br>platform&#39;s toolbox, which has its own look-and-feel. All GUI toolboxes<br>
that we use accommodate a font change for a button, but sometimes not<br>much else.<br><br>Creating a button with a bitmap label may give you a bit more control.<br>More generally, you can derive a sub-class of `canvas%&#39; and draw<br>
anything as a control.<br><font color="#888888"><br>Matthew<br><br></font></blockquote></div><br><br clear="all"><br>-- <br>I&#39;m so done with my commute. See what I&#39;m up to now: <a href="http://www.ideas2executables.com">www.ideas2executables.com</a><br>
The Blog: <a href="http://benjisimon.blogspot.com">benjisimon.blogspot.com</a><br>