April 2013


Options: Use Monospaced Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Sean Luke <[log in to unmask]>
Reply To:
MASON Multiagent Simulation Toolkit <[log in to unmask]>
Wed, 24 Apr 2013 15:41:28 -0400
text/plain (39 lines)
Well as it so happens #1 has a problem that I forgot about: JFreeChart doesn't do a good job of maintaining font proportions when the chart is scaled -- the fonts get all stretched.  So it's basically out.  That's okay: I'd prefer #2 anyway, I think it's a better design.

I just did a commit.  By default the chart is fixed to the window width; the height changes to maintain a proper proportion (and is still scrollable).  You can turn this off by clicking off "Fill", which causes the previous behavior (#3).  Tell me what you think.


On Apr 24, 2013, at 12:12 PM, Joey Harrison wrote:

> I see it working as follows:
> The default behavior is the same as your option 2 (height/width of the chart matches the height/width of the window). If the user wants their chart to have specific dimensions, they can enter the width and height into fields in the options panel.
> Bear in mind that a user may want to collapse the options panel on the left for more screen space.
> Joey
> On Wed, Apr 24, 2013 at 12:01 PM, Chris Hollander <[log in to unmask]> wrote:
> If you want to ensure that proportions are maintained (which may not be a bad idea), then 1 is most certainly the way to go. 
> 2 doesn't seem to make much sense, why not just have a single box that lets you just resize it like any other window in any modern OS?
> 3 appears to be the cause of the change request, so obviously that's not an option unless a majority of people really want to keep it the way it is?
> On Wed, Apr 24, 2013 at 11:45 AM, Sean Luke <[log in to unmask]> wrote:
> I see three basic options:
> 1. Add ONE little checkbox called "Fix Width" (or whatever).  If ON, then the width of the graph is fixed to the width of the window.  The height of the graph changes as appropriate to maintain the stated proportion.  [note: doing Height rather than Width doesn't make a lot of sense in most use cases]
> 2. Add TWO little checkboxes called "Fix Width" and "Fix Height" (or whatever).  If ON, then the width and/or height of the graph is fixed to the width and/or height of the window.
> 3. Leave things as they are.
> It seems to  me that #1 is the right way to do it (other than #3 of course).  Anyone have any opinions?
> Sean