diff options
| author | Sven Gothel <[email protected]> | 2023-03-08 05:39:56 +0100 |
|---|---|---|
| committer | Sven Gothel <[email protected]> | 2023-03-08 05:39:56 +0100 |
| commit | d76fc6f518606def8ddc52e0cd4d8a29bd2536fc (patch) | |
| tree | f8332e129ab8c3238b7cdf05eeab4d681fbb4671 /src/jogl/classes/jogamp/graph/font | |
| parent | adfe4abec47313d2c533096f6c3e9a94d2fc4571 (diff) | |
Graph: Font: Add equals() + hash() API doc; GraphUI's Label*.setText(): Only modify values if text and/or font differs, skipping markShapeDirty() saves performance.
Diffstat (limited to 'src/jogl/classes/jogamp/graph/font')
| -rw-r--r-- | src/jogl/classes/jogamp/graph/font/typecast/TypecastFont.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/jogl/classes/jogamp/graph/font/typecast/TypecastFont.java b/src/jogl/classes/jogamp/graph/font/typecast/TypecastFont.java index 003795942..12128f5ad 100644 --- a/src/jogl/classes/jogamp/graph/font/typecast/TypecastFont.java +++ b/src/jogl/classes/jogamp/graph/font/typecast/TypecastFont.java @@ -456,8 +456,7 @@ class TypecastFont implements Font { public final boolean equals(final Object o) { if( this == o ) { return true; } if( o instanceof TypecastFont ) { - final TypecastFont of = (TypecastFont)o; - return of.font.getName(Font.NAME_UNIQUNAME).equals(font.getName(Font.NAME_UNIQUNAME)); + return ((TypecastFont)o).font.getName(Font.NAME_UNIQUNAME).equals(font.getName(Font.NAME_UNIQUNAME)); } return false; } |