products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/index-files/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: index-19.html   Sprache: HTML

Original von: Isabelle©
 products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/index-files/index-15.html


<!DOCTYPE HTML>
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.7) on Thu Sep 03 05:32:24 CEST 2020 -->
<title>O-Index (jEdit API Documentation)</title>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<meta name="dc.created" content="2020-09-03">
<link rel="stylesheet" type="text/css" href="../stylesheet.css" title="Style">
<link rel="stylesheet" type="text/css" href="../jquery/jquery-ui.css" title="Style">
<script type="text/javascript" src="../script.js"></script>
<script type="text/javascript" src="../jquery/jszip/dist/jszip.min.js"></script>
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils.min.js"></script>
<!--[if IE]>
<script type="text/javascript" src="../jquery/jszip-utils/dist/jszip-utils-ie.min.js"></script>
<![endif]-->
<script type="text/javascript" src="../jquery/jquery-3.3.1.js"></script>
<script type="text/javascript" src="../jquery/jquery-migrate-3.0.1.js"></script>
<script type="text/javascript" src="../jquery/jquery-ui.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="O-Index (jEdit API Documentation)";
        }
    }
    catch(err) {
    }
//-->
var pathtoroot = "../";
var useModuleDirectories = true;
loadScripts(document, 'script');</script>

<header role="banner">
<nav role="navigation">
<div class="fixedNav">
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a id="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a id="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../index.html">Overview</a></li>
<li>Package</li>
<li>Class</li>
<li>Use</li>
<li><a href="../overview-tree.html">Tree</a></li>
<li><a href="../deprecated-list.html">Deprecated</a></li>
<li class="navBarCell1Rev">Index</li>
<li><a href="../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../allclasses.html">All Classes</a></li>
</ul>
<ul class="navListSearch">
<li><label for="search">SEARCH:</label>
<input type="text" id="search" value="search" disabled="disabled">
<input type="reset" id="reset" value="reset" disabled="disabled">
</li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>

</div>
<a id="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
</div>
<div class="navPadding"> </div>
<script type="text/javascript"><!--
$('.navPadding').css('padding-top', $('.fixedNav').css("height"));
//-->
</script>
</nav>
</header>
<main role="main">
<div class="contentContainer"><a href="index-1.html">A</a> <a href="index-2.html">B</a> <a href="index-3.html">C</a> <a href="index-4.html">D</a> <a href="index-5.html">E</a> <a href="index-6.html">F</a> <a href="index-7.html">G</a> <a href="index-8.html">H</a> <a href="index-9.html">I</a> <a href="index-10.html">J</a> <a href="index-11.html">K</a> <a href="index-12.html">L</a> <a href="index-13.html">M</a> <a href="index-14.html">N</a> <a href="index-15.html">O</a> <a href="index-16.html">P</a> <a href="index-17.html">Q</a> <a href="index-18.html">R</a> <a href="index-19.html">S</a> <a href="index-20.html">T</a> <a href="index-21.html">U</a> <a href="index-22.html">V</a> <a href="index-23.html">W</a> <a href="index-24.html">X</a> <a href="index-25.html">Y</a> <a href="index-26.html">_</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a><a id="I:O">
<!--   -->
</a>
<h2 class="title">O</h2>
<dl>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/bsh/org/objectweb/asm/Type.html#OBJECT">OBJECT</a></span> - Static variable in class org.gjt.sp.jedit.bsh.org.objectweb.asm.<a href="../org/gjt/sp/jedit/bsh/org/objectweb/asm/Type.html" title="class in org.gjt.sp.jedit.bsh.org.objectweb.asm">Type</a></dt>
<dd>
<div class="block">The sort of object reference type.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/util/StandardUtilities.html#objectsEqual(java.lang.Object,java.lang.Object)">objectsEqual(Object, Object)</a></span> - Static method in class org.gjt.sp.util.<a href="../org/gjt/sp/util/StandardUtilities.html" title="class in org.gjt.sp.util">StandardUtilities</a></dt>
<dd>
<div class="deprecationBlock"><span class="deprecatedLabel">Deprecated.</span>
<div class="deprecationComment">use {java.util.Objects#equals(Object, Object}</div>
</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/search/HyperSearchResult.html#occur">occur</a></span> - Variable in class org.gjt.sp.jedit.search.<a href="../org/gjt/sp/jedit/search/HyperSearchResult.html" title="class in org.gjt.sp.jedit.search">HyperSearchResult</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/search/HyperSearchResult.html#occurCount">occurCount</a></span> - Variable in class org.gjt.sp.jedit.search.<a href="../org/gjt/sp/jedit/search/HyperSearchResult.html" title="class in org.gjt.sp.jedit.search">HyperSearchResult</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/bsh/ParserConstants.html#OCTAL_LITERAL">OCTAL_LITERAL</a></span> - Static variable in interface org.gjt.sp.jedit.bsh.<a href="../org/gjt/sp/jedit/bsh/ParserConstants.html" title="interface in org.gjt.sp.jedit.bsh">ParserConstants</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/print/PrintRangeType.html#ODD">ODD</a></span> - Static variable in class org.gjt.sp.jedit.print.<a href="../org/gjt/sp/jedit/print/PrintRangeType.html" title="class in org.gjt.sp.jedit.print">PrintRangeType</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/syntax/Token.html#offset">offset</a></span> - Variable in class org.gjt.sp.jedit.syntax.<a href="../org/gjt/sp/jedit/syntax/Token.html" title="class in org.gjt.sp.jedit.syntax">Token</a></dt>
<dd>
<div class="block">The start offset of this token.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/Debug.html#OFFSET_DEBUG">OFFSET_DEBUG</a></span> - Static variable in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/Debug.html" title="class in org.gjt.sp.jedit">Debug</a></dt>
<dd>
<div class="block">Print messages when the gap moves, and other offset manager state
 changes.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/syntax/Chunk.html#offsetToX(org.gjt.sp.jedit.syntax.Chunk,int)">offsetToX(Chunk, int)</a></span> - Static method in class org.gjt.sp.jedit.syntax.<a href="../org/gjt/sp/jedit/syntax/Chunk.html" title="class in org.gjt.sp.jedit.syntax">Chunk</a></dt>
<dd>
<div class="block">Converts an offset in a chunk list into an x co-ordinate.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/textarea/TextArea.html#offsetToXY(int)">offsetToXY(int)</a></span> - Method in class org.gjt.sp.jedit.textarea.<a href="../org/gjt/sp/jedit/textarea/TextArea.html" title="class in org.gjt.sp.jedit.textarea">TextArea</a></dt>
<dd>
<div class="block">Converts an offset into a point in the text area painter's
 co-ordinate space.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/textarea/TextArea.html#offsetToXY(int,int)">offsetToXY(int, int)</a></span> - Method in class org.gjt.sp.jedit.textarea.<a href="../org/gjt/sp/jedit/textarea/TextArea.html" title="class in org.gjt.sp.jedit.textarea">TextArea</a></dt>
<dd>
<div class="block">Converts an offset into a point in the text area painter's
 co-ordinate space.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/textarea/TextArea.html#offsetToXY(int,int,java.awt.Point)">offsetToXY(int, int, Point)</a></span> - Method in class org.gjt.sp.jedit.textarea.<a href="../org/gjt/sp/jedit/textarea/TextArea.html" title="class in org.gjt.sp.jedit.textarea">TextArea</a></dt>
<dd>
<div class="block">Converts a line,offset pair into an x,y (pixel) point relative to the
 upper left corner (0,0) of the text area.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/browser/VFSFileChooserDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.browser.<a href="../org/gjt/sp/jedit/browser/VFSFileChooserDialog.html" title="class in org.gjt.sp.jedit.browser">VFSFileChooserDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/AddModeDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/AddModeDialog.html" title="class in org.gjt.sp.jedit.gui">AddModeDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/BufferOptions.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/BufferOptions.html" title="class in org.gjt.sp.jedit.gui">BufferOptions</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/CloseDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/CloseDialog.html" title="class in org.gjt.sp.jedit.gui">CloseDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/ContextAddDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/ContextAddDialog.html" title="class in org.gjt.sp.jedit.gui">ContextAddDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/EnhancedDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/EnhancedDialog.html" title="class in org.gjt.sp.jedit.gui">EnhancedDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/ErrorListDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/ErrorListDialog.html" title="class in org.gjt.sp.jedit.gui">ErrorListDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/FilePropertiesDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/FilePropertiesDialog.html" title="class in org.gjt.sp.jedit.gui">FilePropertiesDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/FilesChangedDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/FilesChangedDialog.html" title="class in org.gjt.sp.jedit.gui">FilesChangedDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/FontSelectorDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/FontSelectorDialog.html" title="class in org.gjt.sp.jedit.gui">FontSelectorDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/OptionsDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/OptionsDialog.html" title="class in org.gjt.sp.jedit.gui">OptionsDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/PasteFromListDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/PasteFromListDialog.html" title="class in org.gjt.sp.jedit.gui">PasteFromListDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/PasteSpecialDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/PasteSpecialDialog.html" title="class in org.gjt.sp.jedit.gui">PasteSpecialDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/SelectLineRange.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/SelectLineRange.html" title="class in org.gjt.sp.jedit.gui">SelectLineRange</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/StyleEditor.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/StyleEditor.html" title="class in org.gjt.sp.jedit.gui">StyleEditor</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/TextAreaDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/TextAreaDialog.html" title="class in org.gjt.sp.jedit.gui">TextAreaDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/TipOfTheDay.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/TipOfTheDay.html" title="class in org.gjt.sp.jedit.gui">TipOfTheDay</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/options/EditModesPane.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.options.<a href="../org/gjt/sp/jedit/options/EditModesPane.html" title="class in org.gjt.sp.jedit.options">EditModesPane</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/pluginmgr/PluginManager.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.pluginmgr.<a href="../org/gjt/sp/jedit/pluginmgr/PluginManager.html" title="class in org.gjt.sp.jedit.pluginmgr">PluginManager</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/print/PrintPreview.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.print.<a href="../org/gjt/sp/jedit/print/PrintPreview.html" title="class in org.gjt.sp.jedit.print">PrintPreview</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/search/SearchDialog.html#ok()">ok()</a></span> - Method in class org.gjt.sp.jedit.search.<a href="../org/gjt/sp/jedit/search/SearchDialog.html" title="class in org.gjt.sp.jedit.search">SearchDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/jedit/options/TabbedOptionDialog.html#ok()">ok()</a></span> - Method in class org.jedit.options.<a href="../org/jedit/options/TabbedOptionDialog.html" title="class in org.jedit.options">TabbedOptionDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/OptionsDialog.html#ok(boolean)">ok(boolean)</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/OptionsDialog.html" title="class in org.gjt.sp.jedit.gui">OptionsDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/jedit/options/TabbedOptionDialog.html#ok(boolean)">ok(boolean)</a></span> - Method in class org.jedit.options.<a href="../org/jedit/options/TabbedOptionDialog.html" title="class in org.jedit.options">TabbedOptionDialog</a></dt>
<dd> </dd>
<dt><a href="../org/jedit/migration/OneTimeMigrationService.html" title="class in org.jedit.migration"><span class="typeNameLink">OneTimeMigrationService</span></a> - Class in <a href="../org/jedit/migration/package-summary.html">org.jedit.migration</a></dt>
<dd>
<div class="block">Base class from which one can more easily implement a migration step
    that should be executed only once per installation.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/jedit/migration/OneTimeMigrationService.html#%3Cinit%3E(java.lang.String)">OneTimeMigrationService(String)</a></span> - Constructor for class org.jedit.migration.<a href="../org/jedit/migration/OneTimeMigrationService.html" title="class in org.jedit.migration">OneTimeMigrationService</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/print/PrinterDialog.html#onlyPrintPages">onlyPrintPages</a></span> - Static variable in class org.gjt.sp.jedit.print.<a href="../org/gjt/sp/jedit/print/PrinterDialog.html" title="class in org.gjt.sp.jedit.print">PrinterDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/jedit/core/FileOpenerService.html#open(java.lang.String,org.gjt.sp.jedit.View)">open(String, View)</a></span> - Static method in class org.jedit.core.<a href="../org/jedit/core/FileOpenerService.html" title="class in org.jedit.core">FileOpenerService</a></dt>
<dd>
<div class="block">Searches available FileOpenerServices and uses the first, or the
   preferred one based on the "fileopener.service" property.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/ListModelEditor.html#open(javax.swing.DefaultListModel)">open(DefaultListModel)</a></span> - Method in class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/ListModelEditor.html" title="class in org.gjt.sp.jedit.gui">ListModelEditor</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/browser/VFSBrowser.html#OPEN_DIALOG">OPEN_DIALOG</a></span> - Static variable in class org.gjt.sp.jedit.browser.<a href="../org/gjt/sp/jedit/browser/VFSBrowser.html" title="class in org.gjt.sp.jedit.browser">VFSBrowser</a></dt>
<dd>
<div class="block">Open file dialog mode.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/indent/BracketIndentRule.html#openBracket">openBracket</a></span> - Variable in class org.gjt.sp.jedit.indent.<a href="../org/gjt/sp/jedit/indent/BracketIndentRule.html" title="class in org.gjt.sp.jedit.indent">BracketIndentRule</a></dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/indent/OpenBracketIndentRule.html" title="class in org.gjt.sp.jedit.indent"><span class="typeNameLink">OpenBracketIndentRule</span></a> - Class in <a href="../org/gjt/sp/jedit/indent/package-summary.html">org.gjt.sp.jedit.indent</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/indent/OpenBracketIndentRule.html#%3Cinit%3E(char,boolean)">OpenBracketIndentRule(char, boolean)</a></span> - Constructor for class org.gjt.sp.jedit.indent.<a href="../org/gjt/sp/jedit/indent/OpenBracketIndentRule.html" title="class in org.gjt.sp.jedit.indent">OpenBracketIndentRule</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/proto/jeditresource/Handler.html#openConnection(java.net.URL)">openConnection(URL)</a></span> - Method in class org.gjt.sp.jedit.proto.jeditresource.<a href="../org/gjt/sp/jedit/proto/jeditresource/Handler.html" title="class in org.gjt.sp.jedit.proto.jeditresource">Handler</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/browser/FileCellRenderer.html#openDirIcon">openDirIcon</a></span> - Static variable in class org.gjt.sp.jedit.browser.<a href="../org/gjt/sp/jedit/browser/FileCellRenderer.html" title="class in org.gjt.sp.jedit.browser">FileCellRenderer</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/jedit/core/FileOpenerService.html#openFile(java.lang.String,org.gjt.sp.jedit.View)">openFile(String, View)</a></span> - Method in class org.jedit.core.<a href="../org/jedit/core/FileOpenerService.html" title="class in org.jedit.core">FileOpenerService</a></dt>
<dd>
<div class="block">Opens a file in jEdit, given only a filename and no path.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openFile(org.gjt.sp.jedit.EditPane,java.lang.String)">openFile(EditPane, String)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a file.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openFile(org.gjt.sp.jedit.EditPane,java.lang.String,java.lang.String,boolean,java.util.Hashtable)">openFile(EditPane, String, String, boolean, Hashtable<String, Object>)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a file.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openFile(org.gjt.sp.jedit.View,java.lang.String)">openFile(View, String)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a file.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openFile(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,java.util.Hashtable)">openFile(View, String, String, boolean, Hashtable<String, Object>)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a file.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openFileAfterStartup(java.lang.String)">openFileAfterStartup(String)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a file, either immediately if the application is finished starting up,
 or after the first view has been created if not.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/browser/FileCellRenderer.html#openFileIcon">openFileIcon</a></span> - Static variable in class org.gjt.sp.jedit.browser.<a href="../org/gjt/sp/jedit/browser/FileCellRenderer.html" title="class in org.gjt.sp.jedit.browser">FileCellRenderer</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openFiles(org.gjt.sp.jedit.View,java.lang.String,java.lang.String%5B%5D)">openFiles(View, String, String[])</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens the file names specified in the argument array.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/MiscUtilities.html#openInDesktop(java.lang.String)">openInDesktop(String)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/MiscUtilities.html" title="class in org.gjt.sp.jedit">MiscUtilities</a></dt>
<dd>
<div class="block">Opens a file or URI using the desktop file associations.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/SettingsXML.html#openSaver()">openSaver()</a></span> - Method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/SettingsXML.html" title="class in org.gjt.sp.jedit">SettingsXML</a></dt>
<dd>
<div class="block">Open the file to save in XML.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean)">openTemporary(View, String, String, boolean)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a temporary buffer.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,boolean)">openTemporary(View, String, String, boolean, boolean)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a temporary buffer.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,java.util.Hashtable)">openTemporary(View, String, String, boolean, Hashtable<String, Object>)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a temporary buffer.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/jEdit.html#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,java.util.Hashtable,boolean)">openTemporary(View, String, String, boolean, Hashtable<String, Object>, boolean)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/jEdit.html" title="class in org.gjt.sp.jedit">jEdit</a></dt>
<dd>
<div class="block">Opens a temporary buffer.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/OperatingSystem.html" title="class in org.gjt.sp.jedit"><span class="typeNameLink">OperatingSystem</span></a> - Class in <a href="../org/gjt/sp/jedit/package-summary.html">org.gjt.sp.jedit</a></dt>
<dd>
<div class="block">Operating system detection routines.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/OperatingSystem.html#%3Cinit%3E()">OperatingSystem()</a></span> - Constructor for class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/OperatingSystem.html" title="class in org.gjt.sp.jedit">OperatingSystem</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/syntax/Token.html#OPERATOR">OPERATOR</a></span> - Static variable in class org.gjt.sp.jedit.syntax.<a href="../org/gjt/sp/jedit/syntax/Token.html" title="class in org.gjt.sp.jedit.syntax">Token</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/GUIUtilities.html#option(java.awt.Component,java.lang.String,java.lang.Object%5B%5D,int,java.lang.Object%5B%5D,java.lang.Object)">option(Component, String, Object[], int, Object[], Object)</a></span> - Static method in class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/GUIUtilities.html" title="class in org.gjt.sp.jedit">GUIUtilities</a></dt>
<dd>
<div class="block">Displays an option dialog dialog box and returns the button pushed by the
 user.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/OptionGroup.html" title="class in org.gjt.sp.jedit"><span class="typeNameLink">OptionGroup</span></a> - Class in <a href="../org/gjt/sp/jedit/package-summary.html">org.gjt.sp.jedit</a></dt>
<dd>
<div class="block">A set of option panes shown in one branch in the options dialog.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/OptionGroup.html#%3Cinit%3E(java.lang.String)">OptionGroup(String)</a></span> - Constructor for class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/OptionGroup.html" title="class in org.gjt.sp.jedit">OptionGroup</a></dt>
<dd>
<div class="block">Creates an option group.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/OptionGroup.html#%3Cinit%3E(java.lang.String,java.lang.String,java.lang.String)">OptionGroup(String, String, String)</a></span> - Constructor for class org.gjt.sp.jedit.<a href="../org/gjt/sp/jedit/OptionGroup.html" title="class in org.gjt.sp.jedit">OptionGroup</a></dt>
<dd>
<div class="block">Creates an option group.</div>
</dd>
<dt><a href="../org/jedit/options/OptionGroupPane.html" title="class in org.jedit.options"><span class="typeNameLink">OptionGroupPane</span></a> - Class in <a href="../org/jedit/options/package-summary.html">org.jedit.options</a></dt>
<dd>
<div class="block">An option pane for displaying groups of options.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/jedit/options/OptionGroupPane.html#%3Cinit%3E(org.gjt.sp.jedit.OptionGroup)">OptionGroupPane(OptionGroup)</a></span> - Constructor for class org.jedit.options.<a href="../org/jedit/options/OptionGroupPane.html" title="class in org.jedit.options">OptionGroupPane</a></dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/OptionPane.html" title="interface in org.gjt.sp.jedit"><span class="typeNameLink">OptionPane</span></a> - Interface in <a href="../org/gjt/sp/jedit/package-summary.html">org.gjt.sp.jedit</a></dt>
<dd>
<div class="block">The interface all option panes must implement.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/gui/OptionsDialog.html" title="class in org.gjt.sp.jedit.gui"><span class="typeNameLink">OptionsDialog</span></a> - Class in <a href="../org/gjt/sp/jedit/gui/package-summary.html">org.gjt.sp.jedit.gui</a></dt>
<dd>
<div class="block">An abstract options dialog box.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/OptionsDialog.html#%3Cinit%3E(java.awt.Dialog,java.lang.String,java.lang.String)">OptionsDialog(Dialog, String, String)</a></span> - Constructor for class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/OptionsDialog.html" title="class in org.gjt.sp.jedit.gui">OptionsDialog</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/OptionsDialog.html#%3Cinit%3E(java.awt.Frame,java.lang.String,java.lang.String)">OptionsDialog(Frame, String, String)</a></span> - Constructor for class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/OptionsDialog.html" title="class in org.gjt.sp.jedit.gui">OptionsDialog</a></dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/gui/OptionsDialog.OptionTreeModel.html" title="class in org.gjt.sp.jedit.gui"><span class="typeNameLink">OptionsDialog.OptionTreeModel</span></a> - Class in <a href="../org/gjt/sp/jedit/gui/package-summary.html">org.gjt.sp.jedit.gui</a></dt>
<dd>
<div class="block">deprecated use <a href="../org/gjt/sp/jedit/gui/OptionsDialog.OptionTreeModel.html" title="class in org.gjt.sp.jedit.gui"><code>OptionsDialog.OptionTreeModel</code></a>
 Undeprecating until the GlobalOptions, PluginOptions and/or CombinedOptions
 are fixed.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/gui/OptionsDialog.PaneNameRenderer.html" title="class in org.gjt.sp.jedit.gui"><span class="typeNameLink">OptionsDialog.PaneNameRenderer</span></a> - Class in <a href="../org/gjt/sp/jedit/gui/package-summary.html">org.gjt.sp.jedit.gui</a></dt>
<dd> </dd>
<dt><a href="../org/jedit/options/OptionTreeModel.html" title="class in org.jedit.options"><span class="typeNameLink">OptionTreeModel</span></a> - Class in <a href="../org/jedit/options/package-summary.html">org.jedit.options</a></dt>
<dd>
<div class="block">TreeModel implementation backed by an OptionGroup</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/OptionsDialog.OptionTreeModel.html#%3Cinit%3E()">OptionTreeModel()</a></span> - Constructor for class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/OptionsDialog.OptionTreeModel.html" title="class in org.gjt.sp.jedit.gui">OptionsDialog.OptionTreeModel</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/jedit/options/OptionTreeModel.html#%3Cinit%3E()">OptionTreeModel()</a></span> - Constructor for class org.jedit.options.<a href="../org/jedit/options/OptionTreeModel.html" title="class in org.jedit.options">OptionTreeModel</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/OptionsDialog.OptionTreeModel.html#%3Cinit%3E(org.gjt.sp.jedit.OptionGroup)">OptionTreeModel(OptionGroup)</a></span> - Constructor for class org.gjt.sp.jedit.gui.<a href="../org/gjt/sp/jedit/gui/OptionsDialog.OptionTreeModel.html" title="class in org.gjt.sp.jedit.gui">OptionsDialog.OptionTreeModel</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/jedit/options/OptionTreeModel.html#%3Cinit%3E(org.gjt.sp.jedit.OptionGroup)">OptionTreeModel(OptionGroup)</a></span> - Constructor for class org.jedit.options.<a href="../org/jedit/options/OptionTreeModel.html" title="class in org.jedit.options">OptionTreeModel</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/bsh/ParserConstants.html#ORASSIGN">ORASSIGN</a></span> - Static variable in interface org.gjt.sp.jedit.bsh.<a href="../org/gjt/sp/jedit/bsh/ParserConstants.html" title="interface in org.gjt.sp.jedit.bsh">ParserConstants</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/bsh/ParserConstants.html#ORASSIGNX">ORASSIGNX</a></span> - Static variable in interface org.gjt.sp.jedit.bsh.<a href="../org/gjt/sp/jedit/bsh/ParserConstants.html" title="interface in org.gjt.sp.jedit.bsh">ParserConstants</a></dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/package-summary.html">org.gjt.sp.jedit</a> - package org.gjt.sp.jedit</dt>
<dd>
<div class="block">This package contains jEdit 4's core classes.

</dd>
<dt><a href="../org/gjt/sp/jedit/browser/package-summary.html">org.gjt.sp.jedit.browser</a> - package org.gjt.sp.jedit.browser</dt>
<dd>
<div class="block">jEdit's file system browser.
</dd>
<dt><a href="../org/gjt/sp/jedit/bsh/package-summary.html">org.gjt.sp.jedit.bsh</a> - package org.gjt.sp.jedit.bsh</dt>
<dd>
<div class="block"> Lightweight Scripting for Java.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/bsh/classpath/package-summary.html">org.gjt.sp.jedit.bsh.classpath</a> - package org.gjt.sp.jedit.bsh.classpath</dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/bsh/collection/package-summary.html">org.gjt.sp.jedit.bsh.collection</a> - package org.gjt.sp.jedit.bsh.collection</dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/bsh/commands/package-summary.html">org.gjt.sp.jedit.bsh.commands</a> - package org.gjt.sp.jedit.bsh.commands</dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/bsh/org/objectweb/asm/package-summary.html">org.gjt.sp.jedit.bsh.org.objectweb.asm</a> - package org.gjt.sp.jedit.bsh.org.objectweb.asm</dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/bsh/reflect/package-summary.html">org.gjt.sp.jedit.bsh.reflect</a> - package org.gjt.sp.jedit.bsh.reflect</dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/buffer/package-summary.html">org.gjt.sp.jedit.buffer</a> - package org.gjt.sp.jedit.buffer</dt>
<dd>
<div class="block">Buffer event listeners, and classes used to implement jEdit's document model.
</dd>
<dt><a href="../org/gjt/sp/jedit/bufferio/package-summary.html">org.gjt.sp.jedit.bufferio</a> - package org.gjt.sp.jedit.bufferio</dt>
<dd>
<div class="block">Classes related to loading, saving, autosaving buffers.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/bufferset/package-summary.html">org.gjt.sp.jedit.bufferset</a> - package org.gjt.sp.jedit.bufferset</dt>
<dd>
<div class="block">Classes related to implementation of the BufferSets feature of jEdit.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/datatransfer/package-summary.html">org.gjt.sp.jedit.datatransfer</a> - package org.gjt.sp.jedit.datatransfer</dt>
<dd>
<div class="block">Classes related to encoding and decoding MIME data to/from system clipboard, etc.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/gui/package-summary.html">org.gjt.sp.jedit.gui</a> - package org.gjt.sp.jedit.gui</dt>
<dd>
<div class="block">Various GUI controls and dialog boxes.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/gui/statusbar/package-summary.html">org.gjt.sp.jedit.gui.statusbar</a> - package org.gjt.sp.jedit.gui.statusbar</dt>
<dd>
<div class="block">Widget Factory classes for Status Bar Widgets</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/gui/tray/package-summary.html">org.gjt.sp.jedit.gui.tray</a> - package org.gjt.sp.jedit.gui.tray</dt>
<dd>
<div class="block">The jEdit System Tray</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/help/package-summary.html">org.gjt.sp.jedit.help</a> - package org.gjt.sp.jedit.help</dt>
<dd>
<div class="block">The jEdit help viewer.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/indent/package-summary.html">org.gjt.sp.jedit.indent</a> - package org.gjt.sp.jedit.indent</dt>
<dd>
<div class="block">Indentation rules and actions.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/input/package-summary.html">org.gjt.sp.jedit.input</a> - package org.gjt.sp.jedit.input</dt>
<dd>
<div class="block">Keyboard Input Handlers</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/io/package-summary.html">org.gjt.sp.jedit.io</a> - package org.gjt.sp.jedit.io</dt>
<dd>
<div class="block">Virtual file system and multi-threaded I/O.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/manager/package-summary.html">org.gjt.sp.jedit.manager</a> - package org.gjt.sp.jedit.manager</dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/menu/package-summary.html">org.gjt.sp.jedit.menu</a> - package org.gjt.sp.jedit.menu</dt>
<dd>
<div class="block">Classes for generation of dynamic menus</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/msg/package-summary.html">org.gjt.sp.jedit.msg</a> - package org.gjt.sp.jedit.msg</dt>
<dd>
<div class="block">EditBus messages.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/options/package-summary.html">org.gjt.sp.jedit.options</a> - package org.gjt.sp.jedit.options</dt>
<dd>
<div class="block">Global Options dialog box panes.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/pluginmgr/package-summary.html">org.gjt.sp.jedit.pluginmgr</a> - package org.gjt.sp.jedit.pluginmgr</dt>
<dd>
<div class="block">The plugin manager.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/print/package-summary.html">org.gjt.sp.jedit.print</a> - package org.gjt.sp.jedit.print</dt>
<dd>
<div class="block">Printing.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/proto/jeditresource/package-summary.html">org.gjt.sp.jedit.proto.jeditresource</a> - package org.gjt.sp.jedit.proto.jeditresource</dt>
<dd>
<div class="block"><code>jeditresource:</code> URL protocol handler, used to load
resources from plugin JAR files.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/search/package-summary.html">org.gjt.sp.jedit.search</a> - package org.gjt.sp.jedit.search</dt>
<dd>
<div class="block">Search and replace classes.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/syntax/package-summary.html">org.gjt.sp.jedit.syntax</a> - package org.gjt.sp.jedit.syntax</dt>
<dd>
<div class="block">The jEdit syntax highlighting engine.</div>
</dd>
<dt><a href="../org/gjt/sp/jedit/textarea/package-summary.html">org.gjt.sp.jedit.textarea</a> - package org.gjt.sp.jedit.textarea</dt>
<dd>
<div class="block"> Classes related to jEdit's TextArea.
</dd>
<dt><a href="../org/gjt/sp/jedit/visitors/package-summary.html">org.gjt.sp.jedit.visitors</a> - package org.gjt.sp.jedit.visitors</dt>
<dd>
<div class="block">Visitor classes for EditPanes, Views, and Text Areas.</div>
</dd>
<dt><a href="../org/gjt/sp/util/package-summary.html">org.gjt.sp.util</a> - package org.gjt.sp.util</dt>
<dd>
<div class="block">Utility classes used by jEdit but that do not depend on jEdit
itself.</div>
</dd>
<dt><a href="../org/gjt/sp/util/swing/event/package-summary.html">org.gjt.sp.util.swing.event</a> - package org.gjt.sp.util.swing.event</dt>
<dd> </dd>
<dt><a href="../org/jedit/core/package-summary.html">org.jedit.core</a> - package org.jedit.core</dt>
<dd>
<div class="block">Core jEdit classes</div>
</dd>
<dt><a href="../org/jedit/io/package-summary.html">org.jedit.io</a> - package org.jedit.io</dt>
<dd> </dd>
<dt><a href="../org/jedit/keymap/package-summary.html">org.jedit.keymap</a> - package org.jedit.keymap</dt>
<dd>
<div class="block">Named sets of keyboard shortcuts</div>
</dd>
<dt><a href="../org/jedit/migration/package-summary.html">org.jedit.migration</a> - package org.jedit.migration</dt>
<dd>
<div class="block">One-time migration steps</div>
</dd>
<dt><a href="../org/jedit/options/package-summary.html">org.jedit.options</a> - package org.jedit.options</dt>
<dd>
<div class="block">Option-Pane classes</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/print/PrintPreviewModel.Zoom.html#OUT">OUT</a></span> - org.gjt.sp.jedit.print.<a href="../org/gjt/sp/jedit/print/PrintPreviewModel.Zoom.html" title="enum in org.gjt.sp.jedit.print">PrintPreviewModel.Zoom</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/textarea/Selection.html#overlaps(org.gjt.sp.jedit.textarea.Selection)">overlaps(Selection)</a></span> - Method in class org.gjt.sp.jedit.textarea.<a href="../org/gjt/sp/jedit/textarea/Selection.html" title="class in org.gjt.sp.jedit.textarea">Selection</a></dt>
<dd>
<div class="block">Returns if this selection and the specified selection overlap.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/io/CopyFileWorker.Behavior.html#OVERWRITE">OVERWRITE</a></span> - org.gjt.sp.jedit.io.<a href="../org/gjt/sp/jedit/io/CopyFileWorker.Behavior.html" title="enum in org.gjt.sp.jedit.io">CopyFileWorker.Behavior</a></dt>
<dd>
<div class="block">Overwrite existing file.</div>
</dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/textarea/StatusListener.html#OVERWRITE_CHANGED">OVERWRITE_CHANGED</a></span> - Static variable in interface org.gjt.sp.jedit.textarea.<a href="../org/gjt/sp/jedit/textarea/StatusListener.html" title="interface in org.gjt.sp.jedit.textarea">StatusListener</a></dt>
<dd> </dd>
<dt><a href="../org/gjt/sp/jedit/gui/statusbar/OverwriteWidgetFactory.html" title="class in org.gjt.sp.jedit.gui.statusbar"><span class="typeNameLink">OverwriteWidgetFactory</span></a> - Class in <a href="../org/gjt/sp/jedit/gui/statusbar/package-summary.html">org.gjt.sp.jedit.gui.statusbar</a></dt>
<dd> </dd>
<dt><span class="memberNameLink"><a href="../org/gjt/sp/jedit/gui/statusbar/OverwriteWidgetFactory.html#%3Cinit%3E()">OverwriteWidgetFactory()</a></span> - Constructor for class org.gjt.sp.jedit.gui.statusbar.<a href="../org/gjt/sp/jedit/gui/statusbar/OverwriteWidgetFactory.html" title="class in org.gjt.sp.jedit.gui.statusbar">OverwriteWidgetFactory</a></dt>
<dd> </dd>
</dl>
<a href="index-1.html">A</a> <a href="index-2.html">B</a> <a href="index-3.html">C</a> <a href="index-4.html">D</a> <a href="index-5.html">E</a> <a href="index-6.html">F</a> <a href="index-7.html">G</a> <a href="index-8.html">H</a> <a href="index-9.html">I</a> <a href="index-10.html">J</a> <a href="index-11.html">K</a> <a href="index-12.html">L</a> <a href="index-13.html">M</a> <a href="index-14.html">N</a> <a href="index-15.html">O</a> <a href="index-16.html">P</a> <a href="index-17.html">Q</a> <a href="index-18.html">R</a> <a href="index-19.html">S</a> <a href="index-20.html">T</a> <a href="index-21.html">U</a> <a href="index-22.html">V</a> <a href="index-23.html">W</a> <a href="index-24.html">X</a> <a href="index-25.html">Y</a> <a href="index-26.html">_</a> <br><a href="../allclasses-index.html">All Classes</a> <a href="../allpackages-index.html">All Packages</a></div>
</main>
<footer role="contentinfo">
<nav role="navigation">
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a id="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a id="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../index.html">Overview</a></li>
<li>Package</li>
<li>Class</li>
<li>Use</li>
<li><a href="../overview-tree.html">Tree</a></li>
<li><a href="../deprecated-list.html">Deprecated</a></li>
<li class="navBarCell1Rev">Index</li>
<li><a href="../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../allclasses.html">All Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>

</div>
<a id="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</nav>
</footer>
</body>
</html>

¤ Dauer der Verarbeitung: 0.85 Sekunden  (vorverarbeitet)  ¤



Download des
Quellennavigators
Download des
sprechenden Kalenders

in der Quellcodebibliothek suchen




Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.


Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff