Searched refs:openBuffers (Results 1 – 7 of 7) sorted by relevance
60 synchronized (this.openBuffers) { in addBuffer()64 this.openBuffers.closeBuffers(); in addBuffer()93 synchronized (this.openBuffers) { in getBuffer()94 return this.openBuffers.get(owner); in getBuffer()123 synchronized (this.openBuffers) { in getOpenBuffers()124 this.openBuffers.shrink(); in getOpenBuffers()125 result = this.openBuffers.elements(); in getOpenBuffers()128 this.openBuffers.closeBuffers(); in getOpenBuffers()140 synchronized (this.openBuffers) { in removeBuffer()141 this.openBuffers.remove(buffer.getOwner()); in removeBuffer()[all …]
396 Enumeration openBuffers= getBufferManager().getOpenBuffers(); in hasUnsavedChanges() local397 while (openBuffers.hasMoreElements()) { in hasUnsavedChanges()398 IBuffer buffer= (IBuffer)openBuffers.nextElement(); in hasUnsavedChanges()
137 Enumeration openBuffers= manager.getOpenBuffers(); in attachSource() local138 while (openBuffers.hasMoreElements()) { in attachSource()139 IBuffer buffer= (IBuffer) openBuffers.nextElement(); in attachSource()
35 protected OverflowingLRUCache openBuffers = new BufferCache(60); field in BufferManager47 openBuffers.put(buffer.getOwner(), buffer); in addBuffer()66 return (IBuffer) openBuffers.get(owner); in getBuffer()95 synchronized (openBuffers) { in getOpenBuffers()96 openBuffers.shrink(); in getOpenBuffers()97 return openBuffers.elements(); in getOpenBuffers()105 openBuffers.remove(buffer.getOwner()); in removeBuffer()
425 Enumeration openBuffers = getBufferManager().getOpenBuffers(); in hasUnsavedChanges() local426 while (openBuffers.hasMoreElements()) { in hasUnsavedChanges()427 IBuffer buffer = (IBuffer) openBuffers.nextElement(); in hasUnsavedChanges()
494 while (openBuffers.hasMoreElements()) { in testBufferRecycling()495 IBuffer buf= openBuffers.nextElement(); in testBufferRecycling()498 openBuffers= BufferManager.getDefaultBufferManager().getOpenBuffers(); in testBufferRecycling()499 assertTrue("buffer cache not empty", !openBuffers.hasMoreElements()); in testBufferRecycling()520 openBuffers= BufferManager.getDefaultBufferManager().getOpenBuffers(); in testBufferRecycling()522 while (openBuffers.hasMoreElements()) { in testBufferRecycling()523 openBuffers.nextElement(); in testBufferRecycling()534 while (openBuffers.hasMoreElements()) { in testBufferRecycling()535 openBuffers.nextElement(); in testBufferRecycling()544 while (openBuffers.hasMoreElements()) { in testBufferRecycling()[all …]
102 Buffer[] openBuffers = jEdit.getBuffers();103 int numOpen = openBuffers.length;109 bufferList = new JList(openBuffers);