<div>Thanks Matthew -</div>
<div> </div>
<div>That'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> </div>
<div>-Ben<br><br></div>
<div class="gmail_quote">On Mon, Mar 10, 2008 at 9:22 AM, Matthew Flatt <<a href="mailto:mflatt@cs.utah.edu">mflatt@cs.utah.edu</a>> 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, "Ben Simon" wrote:<br>> How do I style MrEd components? That is, how could I make a button red, or a<br>> border green? I see where I can make use of different fonts, but that's<br>
> about all I see in terms of controlling the Look & Feel of the components.<br>><br>> What am I missing? I'm sure it's something obvoius, but I've been through<br>> the docs now quite a few times and I don't see anything jumping out at me.<br>
<br></div>There's no way to control features like the color of a standard button.<br>That's by design, so that the GUI library can use the current<br>platform'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%' 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'm so done with my commute. See what I'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>