chore: remove redundant getters

Author: zinstack625

lib/data/tools/pen.dart

@@ -72,13 +72,6 @@ class Pen extends Tool {
     _currentPen = currentPen;
   }
 
-  bool isPressureEnabled() {
-    return pressureEnabled;
-  }
-  double getSize() {
-    return options.size;
-  }
-
   void onDragStart(
       Offset position, EditorPage page, int pageIndex, double? pressure) {
     currentStroke = Stroke(