Permalink
Browse files
ChartScoll - human index & label mouse over tooltip
- Loading branch information
|
@@ -46,7 +46,7 @@ |
|
|
* @see EngineSnifferPanel |
|
|
*/ |
|
|
public class Launcher { |
|
|
public static final int CONSOLE_VERSION = 20190701; |
|
|
public static final int CONSOLE_VERSION = 20190705; |
|
|
public static final boolean SHOW_STIMULATOR = false; |
|
|
public static final String INPUT_FILES_PATH = ".."; |
|
|
private static final String TAB_INDEX = "main_tab"; |
|
|
|
@@ -22,6 +22,7 @@ |
|
|
public ChartScrollControl(final ChartRepository.ChartRepositoryListener listener) { |
|
|
|
|
|
this.listener = listener; |
|
|
info.setToolTipText("Current page index / total pages count"); |
|
|
|
|
|
content.setBorder(BorderFactory.createLineBorder(Color.red)); |
|
|
|
|
@@ -104,7 +105,8 @@ public JPanel getContent() { |
|
|
} |
|
|
|
|
|
private void setInfoText(AtomicInteger index) { |
|
|
info.setText(index.get() + "/" + ChartRepository.getInstance().getSize()); |
|
|
int humanIndex = index.get() + 1; |
|
|
info.setText(humanIndex + "/" + ChartRepository.getInstance().getSize()); |
|
|
} |
|
|
|
|
|
public void reset() { |
|
|
0 comments on commit
dc05e84