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><div class="gmail_quote"><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> <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>[...useful comments trimmed]</div></blockquote><div> </div><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> <div class="Ih2E3d"><br></div>More generally, you can derive a sub-class of `canvas%' and draw<br> anything as a control.<br> <font color="#888888"></font></blockquote><br>There doesn't happen to be a way to use this approach, and somehow embed a container like a vertical-panel% in the resulting canvas%, is there?<br><br>The idea being that I might make a component that uses a canvas to draw a green border, and then embed other GUI components (say, a series of buttons) in this newly drawn area.<br> <br>I've poked around the docs and don't see a way to do it, but I thought I should get confirmation from the pros.<br><br>-Ben<br></div><br clear="all"><br>-- <br>Have an idea for software? I can make it happen - <a href="http://www.ideas2executables.com">http://www.ideas2executables.com</a><br> My Blog: <a href="http://benjisimon.blogspot.com">http://benjisimon.blogspot.com</a>