From 91cb34a7b8d02565525fe6f612ff417ae4fafb42 Mon Sep 17 00:00:00 2001
From: Ben Fry <ben@fathom.info>
Date: Sun, 16 Jan 2022 06:31:06 -0500
Subject: [PATCH] try the non-deprecated drawTabbedText()

---
 app/src/processing/app/syntax/TextAreaPainter.java | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/app/src/processing/app/syntax/TextAreaPainter.java b/app/src/processing/app/syntax/TextAreaPainter.java
index 829eded4f..959d2d347 100644
--- a/app/src/processing/app/syntax/TextAreaPainter.java
+++ b/app/src/processing/app/syntax/TextAreaPainter.java
@@ -370,6 +370,8 @@ public class TextAreaPainter extends JComponent implements TabExpander {
       // doesn't respect fixed width like it should
       if (THROWBACK) {
         x = Utilities.drawTabbedText(currentLine, x, y, gfx, this, 0);
+        // this wants to use floats for x, which requires more changes
+//        x = Utilities.drawTabbedText(currentLine, (float) x, (float) y, (Graphics2D) gfx, this, 0);
       } else {
         for (int i = 0; i < currentLine.count; i++) {
           gfx.drawChars(currentLine.array, currentLine.offset + i, 1, x, y);