mirror of
https://github.com/eclipse-cdt/cdt
synced 2025-07-21 07:55:24 +02:00
[228127] Traditional Rendering: ViewportCache.run() should eliminate the oldest duplicate request
This commit is contained in:
parent
13f05bc71c
commit
1790d63fb3
1 changed files with 9 additions and 11 deletions
|
@ -804,20 +804,18 @@ public class Rendering extends Composite implements IDebugEventSetListener
|
||||||
if(fQueue.size() > 0)
|
if(fQueue.size() > 0)
|
||||||
{
|
{
|
||||||
Request request = (Request) fQueue.elementAt(0);
|
Request request = (Request) fQueue.elementAt(0);
|
||||||
Class type = null;
|
Class type = request.getClass();
|
||||||
if(request instanceof ArchiveDeltas)
|
|
||||||
{
|
|
||||||
archiveDeltas = true;
|
|
||||||
type = ArchiveDeltas.class;
|
|
||||||
}
|
|
||||||
else if(request instanceof AddressPair)
|
|
||||||
{
|
|
||||||
pair = (AddressPair) request;
|
|
||||||
type = AddressPair.class;
|
|
||||||
}
|
|
||||||
|
|
||||||
while(fQueue.size() > 0 && type.isInstance(fQueue.elementAt(0)))
|
while(fQueue.size() > 0 && type.isInstance(fQueue.elementAt(0)))
|
||||||
|
{
|
||||||
|
request = (Request) fQueue.elementAt(0);
|
||||||
fQueue.removeElementAt(0);
|
fQueue.removeElementAt(0);
|
||||||
|
}
|
||||||
|
|
||||||
|
if(request instanceof ArchiveDeltas)
|
||||||
|
archiveDeltas = true;
|
||||||
|
else if(request instanceof AddressPair)
|
||||||
|
pair = (AddressPair) request;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
if(archiveDeltas)
|
if(archiveDeltas)
|
||||||
|
|
Loading…
Add table
Reference in a new issue