PropertyTable.java | 139 private int m_page; field in class:PropertyTable 339 newIndex = Math.max(index - m_page + 1, 0); 341 newIndex = Math.min(index + m_page - 1, m_properties.size() - 1); 356 m_selection = newIndex - m_page + 1; 675 m_page = getClientArea().height / m_rowHeight; 676 m_selection = Math.max(0, Math.min(m_properties.size() - m_page, m_selection)); 677 verticalBar.setValues(m_selection, 0, m_properties.size(), m_page, 1, m_page); 679 if (m_properties.size() <= m_page) { [all...] |