From cecf7d33b8aceeb3c8feab86c7299b6d5a0cedfe Mon Sep 17 00:00:00 2001 From: Wisser Date: Thu, 4 Oct 2018 12:50:34 +0200 Subject: [PATCH] disabled FPS logging --- .../net/sf/jailer/ui/databrowser/Desktop.java | 19 ++++++------------- 1 file changed, 6 insertions(+), 13 deletions(-) diff --git a/src/main/gui/net/sf/jailer/ui/databrowser/Desktop.java b/src/main/gui/net/sf/jailer/ui/databrowser/Desktop.java index 6dfee9acc..f4f9b6306 100644 --- a/src/main/gui/net/sf/jailer/ui/databrowser/Desktop.java +++ b/src/main/gui/net/sf/jailer/ui/databrowser/Desktop.java @@ -1509,9 +1509,7 @@ public abstract class Desktop extends JDesktopPane { // } else { x1 += BORDER; // } - - // TODO - + p = tableBrowser.browserContentPane.rowsTable; Integer pY = yPerRowTable1.get(p); if (pY != null) { @@ -1559,9 +1557,7 @@ public abstract class Desktop extends JDesktopPane { // } else { // x2 += BORDER; // } - - // TODO - + p = visParent.browserContentPane.rowsTable; pY = yPerRowTable2.get(p); if (pY != null) { @@ -3339,13 +3335,10 @@ public abstract class Desktop extends JDesktopPane { } private void logFPS(Map durations, long now, long avgD) { - - // TODO - - long k = durations.keySet().iterator().next(); - if (k != now && desktopAnimation.isActive()) { - System.out.println(avgD + " FPS " + 1000.0 * (((double) durations.size() / (now - k)))); - } +// long k = durations.keySet().iterator().next(); +// if (k != now && desktopAnimation.isActive()) { +// System.out.println(avgD + " FPS " + 1000.0 * (((double) durations.size() / (now - k)))); +// } } private final int RESCALE_DURATION = 500;