eessppeelllloo/processing4
1
0
Fork 0
mirror of https://github.com/processing/processing4.git synced 2026-06-16 04:26:26 +02:00
Code Issues Packages Projects Releases Wiki Activity

fix horizontal scrolling issue (issue #280)

Browse Source
This commit is contained in:
benfry
2010-06-27 23:56:37 +00:00
parent a522b85251
commit 913af2220d
1 changed files with 11 additions and 29 deletions
Download Patch File Download Diff File Expand all files Collapse all files
app/src/processing/app/syntax/JEditTextArea.java
+11 -29
View File
@@ -286,31 +286,12 @@ public class JEditTextArea extends JComponent
int charWidth = painter.getFontMetrics().charWidth('w');
int width = maxLineLength * charWidth;
int painterWidth = painter.getWidth();
//System.out.println("max line len " + maxLineLength);
//System.out.println("width " + width);
//System.out.println("text area width " + painter.getWidth());
// this was the default, but it's enormous
//horizontal.setValues(-horizontalOffset,width,0,width * 5);
// something more reasonable, though this is a bad solution
//horizontal.setValues(-horizontalOffset,width,0,width * 2);
// in general.. time to start looking at that other syntax pkg
// since most code should fit the window horizontally, just use
// the default settings for the width, this is a nicer solution
// until a better update mechanism can be implemented [fry]
//horizontal.setValues(0, width, 0, width);
//0, width - horizontalOffset);
// works, from pre-75 versions of p5
//horizontal.setValues(-horizontalOffset, width, 0, width);
// gets weird when writing to the end of lines
//horizontal.setValues(value, painterWidth, 0, width);
// seems to work, implemented for 0075
horizontal.setValues(-horizontalOffset, painterWidth, 0, width);
// Update to how horizontal scrolling is handled
// http://code.google.com/p/processing/issues/detail?id=280
//setValues(int newValue, int newExtent, int newMin, int newMax)
horizontal.setValues(-horizontalOffset, painterWidth,
-horizontalOffset, width + horizontalOffset);
//horizontal.setUnitIncrement(painter.getFontMetrics().charWidth('w'));
horizontal.setUnitIncrement(charWidth);
@@ -371,13 +352,14 @@ public class JEditTextArea extends JComponent
* implement horizontal scrolling.
* @param horizontalOffset offset The new horizontal offset
*/
public void setHorizontalOffset(int horizontalOffset)
{
if(horizontalOffset == this.horizontalOffset)
public void setHorizontalOffset(int horizontalOffset) {
if (horizontalOffset == this.horizontalOffset) {
return;
}
this.horizontalOffset = horizontalOffset;
if(horizontalOffset != horizontal.getValue())
if (horizontalOffset != horizontal.getValue()) {
updateScrollBars();
}
painter.repaint();
}