search

ModelInference / synoptic

Inferring models of systems from observations of their behavior
Other
83 stars 25 forks source link

Better diagram scrolling #316

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
The current diagram scrolling solution mostly works, but can be improved. Here 
are two ideas to improve it:

1. Eliminate the inside scroll bar and rely on the page scroll bar. It's hard 
to use two scroll bars, and you really don't need a second one.

2. The inner scroll bar is allowing the user to have a fixed header while they 
explore the diagram. But, there is a smoother way of doing this for the page as 
a whole. I would adopt something like this:
http://stackoverflow.com/questions/9352419/fixed-header-transformation-when-page
-is-scrolled

Original issue reported on code.google.com by bestchai on 26 May 2013 at 11:27

GoogleCodeExporter commented 9 years ago 
Fixed as of revision ef02bd41203e

Original comment by bestchai on 28 May 2013 at 5:58