| products/sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/users-guide/ |
|
Quellcode-Bibliothek© Kompilation durch diese Firma[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]Datei: legacy.jfc Sprache: HTMLUntersuchung Isabelle© |
|
||||||||
<html><head>
<meta http-equiv="Content-Type" content="text/html; charset=ISO-8859-1"> <title>Buffer Sets and closing buffers</title><meta name="generator" content="DocBook XSL S local and manageable when using jEdit in a multiple-View and multiple-EditPane environment. < Switcher, which displays the contents of a Buffer Set. In jEdit 4.2, all EditPane buffer switchers showed the same BufferSet: a global list of all buffers that were opened from any EditPane in any View. When using many Views and EditPanes, this resulted in large lists of buffers, and made the next/previous buffer actions useless with many Views, EditPanes and Buffers. </p><p> Since jEdit 4.3, it is possible to have more Sets of an Edit Pane. This makes the 'next-buffer' and 'previous-buffer' actions switch between buffers that are local to the view or pane. </p><p> The three <em class="firstterm">BufferSet scopes</em> are: </p><div class="orderedlist"><ol class open from any EditPane. </p></li><li class="listitem"><p> <span class="guilabel"><strong>View</stron share the same BufferSet. Opening a buffer in one View will not affect the other views. </p></li><li class="listitem"><p><span class="guilabel"><strong>EditPane</strong></span>: Eac its own independent BufferSet. </p></li></ol></div><p> <span class="guimenu"><strong>File</strong></spa current buffer from the EditPane's BufferSet only. If it was the last BufferSet to contain that buffer, the buffer is also closed. </p><p> The <span class="guimenu"><strong> File </stro (global)</strong></span> action closes the buffer in all EditPanes, as the jEdit 4.2 <span class="guimenu"><strong> File </strong></span> > <span class="guimenuitem"><strong>Close</stro </p><p> When <span class="guimenuitem"><strong>Exclusive Buffersets</strong></span> are enabled, an a buffer is visited in one EditPane, it should be automatically closed in other EditPanes which use a disjoint (non-intersecting) BufferSet. </p><p> <span class="guimenuitem">< current EditPane by performing a <span class="guimenuitem"><strong>Close</strong></span> on all i except those buffers which are displayed in another active EditPane. </p><h3><a name="d0e1010"></a> ><span class="guimenuitem"><strong>Options</strong></span> > <span class="guimenuitem"><strong>View</strong></span> > <span class="guilabel"><strong>BufferSet scope:</strong></span>. </p><p> The statusbar shows you which <em class="firstterm">BufferSet scope</em> is active (look for the letter "G", "E" or "V"). Double-clicking on that will allow you to change the scope without going into global options.</p><p> The BufferSet Scope can also be ch <span class="guimenu"><strong>View</strong></span>><span class="guimenu"><strong>Buffer Sets</str <span class="guimenu"><strong>(Global|View|EditPane) Buffer Set</strong></span>. A change to the bufferset scope affects all editpanes immediately. </p><h3><a name="d0e1042"></a>Sorting of Buffer Sets and Buffer Switchers</h3><p>Buffer Switchers and sorted by name or by path. Both can be left unsorted. Possibly the most useful combination is to sort the Buffer Switchers and leave the Buffer Sets unsorted. In this case, it is easy to find the buffer to work with in the Buffer Switcher since the buffer names are sorted alphabetically, and leaving the Buffer Set unsorted means the "go to previous" and "go to next" actions follow the order in which the buffers were last used rather than by name. However, some users prefer Buffer Sets to also be sorted by name or path, so jEdit supports multiple sorting methods.</p></div><div class="navfooter"><hr><table width="100%" summary="Navigation footer">< ¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.43Angebot Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können ¤ |
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
ZieleEntwicklung einer Software für die statische QuellcodeanalyseBot Zugriff |
