Mercurial > projects > dwt-addons
comparison dwtx/jface/viewers/deferred/DeferredContentProvider.d @ 70:46a6e0e6ccd4
Merge with d-fied sources of 3.4M7
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Thu, 22 May 2008 01:36:46 +0200 |
parents | ea8ff534f622 |
children | 7ffeace6c47f |
comparison
equal
deleted
inserted
replaced
69:07b9d96fd764 | 70:46a6e0e6ccd4 |
---|---|
15 import dwtx.jface.viewers.ILazyContentProvider; | 15 import dwtx.jface.viewers.ILazyContentProvider; |
16 import dwtx.jface.viewers.deferred.AbstractVirtualTable; | 16 import dwtx.jface.viewers.deferred.AbstractVirtualTable; |
17 import dwtx.jface.viewers.deferred.BackgroundContentProvider; | 17 import dwtx.jface.viewers.deferred.BackgroundContentProvider; |
18 import dwtx.jface.viewers.deferred.IConcurrentModel; | 18 import dwtx.jface.viewers.deferred.IConcurrentModel; |
19 | 19 |
20 import dwt.graphics.Rectangle; | |
20 import dwt.widgets.Control; | 21 import dwt.widgets.Control; |
21 import dwt.widgets.Table; | 22 import dwt.widgets.Table; |
22 import dwtx.core.runtime.Assert; | 23 import dwtx.core.runtime.Assert; |
23 import dwtx.jface.viewers.AcceptAllFilter; | 24 import dwtx.jface.viewers.AcceptAllFilter; |
24 import dwtx.jface.viewers.IFilter; | 25 import dwtx.jface.viewers.IFilter; |
102 | 103 |
103 /* (non-Javadoc) | 104 /* (non-Javadoc) |
104 * @see dwtx.jface.viewers.deferred.AbstractVirtualTable#getVisibleItemCount() | 105 * @see dwtx.jface.viewers.deferred.AbstractVirtualTable#getVisibleItemCount() |
105 */ | 106 */ |
106 public override int getVisibleItemCount() { | 107 public override int getVisibleItemCount() { |
107 int start = getTopIndex(); | |
108 int itemCount = getItemCount(); | |
109 Table table = viewer.getTable(); | 108 Table table = viewer.getTable(); |
110 return Math.min(table.getBounds().height / table.getItemHeight() + 2, | 109 Rectangle rect = table.getClientArea (); |
111 itemCount - start); | 110 int itemHeight = table.getItemHeight (); |
111 int headerHeight = table.getHeaderHeight (); | |
112 return (rect.height - headerHeight + itemHeight - 1) / (itemHeight + table.getGridLineWidth()); | |
112 } | 113 } |
113 | 114 |
114 /* (non-Javadoc) | 115 /* (non-Javadoc) |
115 * @see dwtx.jface.viewers.deferred.AbstractVirtualTable#getControl() | 116 * @see dwtx.jface.viewers.deferred.AbstractVirtualTable#getControl() |
116 */ | 117 */ |