Bug fixes

This commit is contained in:
Eugene Livis 2022-01-10 10:01:38 -05:00
parent 3fabf28886
commit 17cfe2342f
4 changed files with 8 additions and 5 deletions

View File

@ -867,7 +867,7 @@ public class DataResultPanel extends javax.swing.JPanel implements DataResult, C
*/
public class PagingControls {
int getTotalPages() {
public int getTotalPages() {
if (searchResultManager != null) {
return searchResultManager.getTotalPages();
} else if (pagingSupport != null) {
@ -876,7 +876,7 @@ public class DataResultPanel extends javax.swing.JPanel implements DataResult, C
return 0;
}
int getCurrentPage() {
public int getCurrentPage() {
if (searchResultManager != null) {
// NOTE: SearchManager returns page indexes that start at 0, not 1.
return searchResultManager.getPageIdx() + 1;
@ -886,11 +886,11 @@ public class DataResultPanel extends javax.swing.JPanel implements DataResult, C
return 0;
}
void gotoPage(int idx) {
public void gotoPage(int idx) {
goToPage(idx);
}
void setPageControlsEnabled(boolean enabled) {
public void setPageControlsEnabled(boolean enabled) {
if (pagingControlsEnabled != enabled){
pagingControlsEnabled = enabled;
updatePagingComponents();

View File

@ -212,6 +212,7 @@ public class DataResultViewerTable extends AbstractDataResultViewer {
outline.getTableHeader().addMouseListener(outlineViewListener);
}
@Override
public void setPagingControls(DataResultPanel.PagingControls pagingControls) {
this.pagingControls = pagingControls;
}

View File

@ -130,6 +130,7 @@ public final class DataResultViewerThumbnail extends AbstractDataResultViewer {
buttonBarPanel.setLayout(new WrapLayout());
}
@Override
public void setPagingControls(DataResultPanel.PagingControls pagingControls) {
this.pagingControls = pagingControls;
}

View File

@ -96,6 +96,7 @@ public class DataSourceSummaryResultViewer extends AbstractDataResultViewer {
return getDataSource(node) != null;
}
@Override
public void setPagingControls(DataResultPanel.PagingControls pagingControls) {
this.pagingControls = pagingControls;
}
@ -126,7 +127,7 @@ public class DataSourceSummaryResultViewer extends AbstractDataResultViewer {
// disable paging controls
if (pagingControls != null) {
pagingControls.setPageControlsEnabled(true);
pagingControls.setPageControlsEnabled(false);
}
DataSource dataSource = getDataSource(node);