charWidth is now an int
[jalview.git] / src / jalview / gui / OverviewPanel.java
2004-12-03 amwaterhousecharWidth is now an int
2004-12-01 amwaterhouseDont render gaps in overview panel
2004-11-16 amwaterhouseInitial size of overview
2004-11-04 amwaterhouseAdded OverviewPanel