products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/org/gjt/sp/jedit image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: CommandLinePositiveTest.java   Sprache: JAVA

Original von: Isabelle©

 products/Sources/formale Sprachen/Isabelle/Tools/jEdit/dist/doc/api/org/gjt/sp/jedit/jEdit.html


<!DOCTYPE HTML>
<!-- NewPage -->
<html lang="en">
<head>
<!-- Generated by javadoc (11.0.7) on Thu Sep 03 05:32:24 CEST 2020 -->
<title>jEdit (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="jEdit (jEdit API Documentation)";
        }
    }
    catch(err) {
    }
//-->

var data = {"i0":9,"i1":9,"i2":41,"i3":9,"i4":9,"i5":9,"i6":9,"i7":9,"i8":9,"i9":9,"i10":9,"i11":9,"i12":9,"i13":9,"i14":9,"i15":9,"i16":9,"i17":9,"i18":9,"i19":9,"i20":9,"i21":9,"i22":9,"i23":9,"i24":9,"i25":41,"i26":9,"i27":9,"i28":41,"i29":9,"i30":9,"i31":9,"i32":9,"i33":9,"i34":9,"i35":9,"i36":9,"i37":9,"i38":9,"i39":9,"i40":9,"i41":9,"i42":9,"i43":9,"i44":9,"i45":9,"i46":9,"i47":9,"i48":9,"i49":9,"i50":9,"i51":9,"i52":9,"i53":9,"i54":9,"i55":9,"i56":9,"i57":9,"i58":9,"i59":9,"i60":9,"i61":9,"i62":9,"i63":9,"i64":9,"i65":9,"i66":9,"i67":9,"i68":9,"i69":9,"i70":9,"i71":41,"i72":9,"i73":9,"i74":9,"i75":9,"i76":9,"i77":9,"i78":9,"i79":9,"i80":9,"i81":9,"i82":9,"i83":9,"i84":9,"i85":9,"i86":9,"i87":9,"i88":9,"i89":9,"i90":9,"i91":9,"i92":9,"i93":9,"i94":9,"i95":9,"i96":9,"i97":9,"i98":9,"i99":9,"i100":9,"i101":9,"i102":9,"i103":9,"i104":9,"i105":9,"i106":9,"i107":9,"i108":9,"i109":9,"i110":9,"i111":9,"i112":9,"i113":9,"i114":9,"i115":9};
var tabs = {65535:["t0","All Methods"],1:["t1","Static Methods"],8:["t4","Concrete Methods"],32:["t6","Deprecated Methods"]};
var altColor = "altColor";
var rowColor = "rowColor";
var tableTab = "tableTab";
var activeTableTab = "activeTableTab";
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><a href="package-summary.html">Package</a></li>
<li class="navBarCell1Rev">Class</li>
<li><a href="class-use/jEdit.html">Use</a></li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../../../index-files/index-1.html">Index</a></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>
<div>
<ul class="subNavList">
<li>Summary: </li>
<li><a href="#nested.class.summary">Nested</a> | </li>
<li>Field | </li>
<li>Constr | </li>
<li><a href="#method.summary">Method</a></li>
</ul>
<ul class="subNavList">
<li>Detail: </li>
<li>Field | </li>
<li>Constr | </li>
<li><a href="#method.detail">Method</a></li>
</ul>
</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>
<!-- ======== START OF CLASS DATA ======== -->
<main role="main">
<div class="header">
<div class="subTitle"><span class="packageLabelInType">Package</span> <a href="package-summary.html">org.gjt.sp.jedit</a></div>
<h2 title="Class jEdit" class="title">Class jEdit</h2>
</div>
<div class="contentContainer">
<ul class="inheritance">
<li>java.lang.Object</li>
<li>
<ul class="inheritance">
<li>org.gjt.sp.jedit.jEdit</li>
</ul>
</li>
</ul>
<div class="description">
<ul class="blockList">
<li class="blockList">
<hr>
<pre>public class <span class="typeNameLabel">jEdit</span>
extends java.lang.Object</pre>
<div class="block">The main class of the jEdit text editor.</div>
</li>
</ul>
</div>
<div class="summary">
<ul class="blockList">
<li class="blockList">
<!-- ======== NESTED CLASS SUMMARY ======== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="nested.class.summary">
<!--   -->
</a>
<h3>Nested Class Summary</h3>
<table class="memberSummary">
<caption><span>Nested Classes</span><span class="tabEnd"> </span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colSecond" scope="col">Class</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr class="altColor">
<td class="colFirst"><code>static class </code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="jEdit.JEditPropertyManager.html" title="class in org.gjt.sp.jedit">jEdit.JEditPropertyManager</a></span></code></th>
<td class="colLast"> </td>
</tr>
</table>
</li>
</ul>
</section>
<!-- ========== METHOD SUMMARY =========== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="method.summary">
<!--   -->
</a>
<h3>Method Summary</h3>
<table class="memberSummary">
<caption><span id="t0" class="activeTableTab"><span>All Methods</span><span class="tabEnd"> </span></span><span id="t1" class="tableTab"><span><a href="javascript:show(1);">Static Methods</a></span><span class="tabEnd"> </span></span><span id="t4" class="tableTab"><span><a href="javascript:show(8);">Concrete Methods</a></span><span class="tabEnd"> </span></span><span id="t6" class="tableTab"><span><a href="javascript:show(32);">Deprecated Methods</a></span><span class="tabEnd"> </span></span></caption>
<tr>
<th class="colFirst" scope="col">Modifier and Type</th>
<th class="colSecond" scope="col">Method</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tr id="i0" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#_closeBuffer(org.gjt.sp.jedit.View,org.gjt.sp.jedit.Buffer)">_closeBuffer</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
            <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer)</code></th>
<td class="colLast">
<div class="block">Closes the buffer, even if it has unsaved changes.</div>
</td>
</tr>
<tr id="i1" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#_closeBuffer(org.gjt.sp.jedit.View,org.gjt.sp.jedit.Buffer,boolean)">_closeBuffer</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
            <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer,
            boolean doNotSave)</code></th>
<td class="colLast">
<div class="block">Closes the buffer, even if it has unsaved changes.</div>
</td>
</tr>
<tr id="i2" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#_getBuffer(java.lang.String)">_getBuffer</a></span>​(java.lang.String path)</code></th>
<td class="colLast">
<div class="block"><span class="deprecatedLabel">Deprecated.</span></div>
</td>
</tr>
<tr id="i3" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addActionSet(org.gjt.sp.jedit.ActionSet)">addActionSet</a></span>​(<a href="ActionSet.html" title="class in org.gjt.sp.jedit">ActionSet</a> actionSet)</code></th>
<td class="colLast">
<div class="block">Adds a new action set to jEdit's list of ActionSets (viewable from the shortcuts
 option pane).</div>
</td>
</tr>
<tr id="i4" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#addPluginJAR(java.lang.String)">addPluginJAR</a></span>​(java.lang.String path)</code></th>
<td class="colLast">
<div class="block">Loads the plugin JAR with the specified path.</div>
</td>
</tr>
<tr id="i5" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#backupSettingsFile(java.io.File)">backupSettingsFile</a></span>​(java.io.File file)</code></th>
<td class="colLast">
<div class="block">Backs up the specified file in the settings directory.</div>
</td>
</tr>
<tr id="i6" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#checkBufferStatus(org.gjt.sp.jedit.View)">checkBufferStatus</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Checks each buffer's status on disk and shows the dialog box
 informing the user that buffers changed on disk, if necessary.</div>
</td>
</tr>
<tr id="i7" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#checkBufferStatus(org.gjt.sp.jedit.View,boolean)">checkBufferStatus</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
                 boolean currentBuffer)</code></th>
<td class="colLast">
<div class="block">Checks buffer status on disk and shows the dialog box
 informing the user that buffers changed on disk, if necessary.</div>
</td>
</tr>
<tr id="i8" class="altColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#closeAllBuffers(org.gjt.sp.jedit.View)">closeAllBuffers</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Closes all open buffers.</div>
</td>
</tr>
<tr id="i9" class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#closeAllBuffers(org.gjt.sp.jedit.View,boolean)">closeAllBuffers</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
               boolean isExiting)</code></th>
<td class="colLast">
<div class="block">Closes all open buffers.</div>
</td>
</tr>
<tr id="i10" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#closeBuffer(org.gjt.sp.jedit.EditPane,org.gjt.sp.jedit.Buffer)">closeBuffer</a></span>​(<a href="EditPane.html" title="class in org.gjt.sp.jedit">EditPane</a> editPane,
           <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer)</code></th>
<td class="colLast">
<div class="block">Close a buffer.</div>
</td>
</tr>
<tr id="i11" class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#closeBuffer(org.gjt.sp.jedit.View,org.gjt.sp.jedit.Buffer)">closeBuffer</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
           <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer)</code></th>
<td class="colLast">
<div class="block">Closes a buffer.</div>
</td>
</tr>
<tr id="i12" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#closeView(org.gjt.sp.jedit.View)">closeView</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Closes a view.</div>
</td>
</tr>
<tr id="i13" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#commitTemporary(org.gjt.sp.jedit.Buffer)">commitTemporary</a></span>​(<a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer)</code></th>
<td class="colLast">
<div class="block">Adds a temporary buffer to the buffer list.</div>
</td>
</tr>
<tr id="i14" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#exit(org.gjt.sp.jedit.View,boolean)">exit</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
    boolean reallyExit)</code></th>
<td class="colLast">
<div class="block">Exits cleanly from jEdit, prompting the user if any unsaved files
 should be saved first.</div>
</td>
</tr>
<tr id="i15" class="rowColor">
<td class="colFirst"><code>static <a href="EditAction.html" title="class in org.gjt.sp.jedit">EditAction</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getAction(java.lang.String)">getAction</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the specified action.</div>
</td>
</tr>
<tr id="i16" class="altColor">
<td class="colFirst"><code>static <a href="ActionContext.html" title="class in org.gjt.sp.jedit">ActionContext</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getActionContext()">getActionContext</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the action context used to store editor actions.</div>
</td>
</tr>
<tr id="i17" class="rowColor">
<td class="colFirst"><code>static java.lang.String[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getActionNames()">getActionNames</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns all registered action names.</div>
</td>
</tr>
<tr id="i18" class="altColor">
<td class="colFirst"><code>static <a href="ActionSet.html" title="class in org.gjt.sp.jedit">ActionSet</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getActionSetForAction(java.lang.String)">getActionSetForAction</a></span>​(java.lang.String action)</code></th>
<td class="colLast">
<div class="block">Returns the action set that contains the specified action.</div>
</td>
</tr>
<tr id="i19" class="rowColor">
<td class="colFirst"><code>static <a href="ActionSet.html" title="class in org.gjt.sp.jedit">ActionSet</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getActionSets()">getActionSets</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns all registered action sets.</div>
</td>
</tr>
<tr id="i20" class="altColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getActiveView()">getActiveView</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the currently focused view.</div>
</td>
</tr>
<tr id="i21" class="rowColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getActiveViewInternal()">getActiveViewInternal</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the internal active view, which might be null.</div>
</td>
</tr>
<tr id="i22" class="altColor">
<td class="colFirst"><code>static <a href="Mode.html" title="class in org.gjt.sp.jedit">Mode</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getAllModes()">getAllModes</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns an array of all installed edit modes.</div>
</td>
</tr>
<tr id="i23" class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBooleanProperty(java.lang.String)">getBooleanProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the value of a boolean property.</div>
</td>
</tr>
<tr id="i24" class="altColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBooleanProperty(java.lang.String,boolean)">getBooleanProperty</a></span>​(java.lang.String name,
                  boolean def)</code></th>
<td class="colLast">
<div class="block">Returns the value of a boolean property.</div>
</td>
</tr>
<tr id="i25" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBuffer(java.lang.String)">getBuffer</a></span>​(java.lang.String path)</code></th>
<td class="colLast">
<div class="block"><span class="deprecatedLabel">Deprecated.</span></div>
</td>
</tr>
<tr id="i26" class="altColor">
<td class="colFirst"><code>static int</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBufferCount()">getBufferCount</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the number of open buffers.</div>
</td>
</tr>
<tr id="i27" class="rowColor">
<td class="colFirst"><code>static <a href="manager/BufferManager.html" title="interface in org.gjt.sp.jedit.manager">BufferManager</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBufferManager()">getBufferManager</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the buffer manager</div>
</td>
</tr>
<tr id="i28" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBuffers()">getBuffers</a></span>()</code></th>
<td class="colLast">
<div class="block"><span class="deprecatedLabel">Deprecated.</span></div>
</td>
</tr>
<tr id="i29" class="rowColor">
<td class="colFirst"><code>static <a href="bufferset/BufferSetManager.html" title="class in org.gjt.sp.jedit.bufferset">BufferSetManager</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBufferSetManager()">getBufferSetManager</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the bufferSet manager.</div>
</td>
</tr>
<tr id="i30" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBuild()">getBuild</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the internal version.</div>
</td>
</tr>
<tr id="i31" class="rowColor">
<td class="colFirst"><code>static <a href="ActionSet.html" title="class in org.gjt.sp.jedit">ActionSet</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getBuiltInActionSet()">getBuiltInActionSet</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the set of commands built into jEdit.</div>
</td>
</tr>
<tr id="i32" class="altColor">
<td class="colFirst"><code>static java.awt.Color[][]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getColorMatrixProperty(java.lang.String)">getColorMatrixProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the value of a color matrix property.</div>
</td>
</tr>
<tr id="i33" class="rowColor">
<td class="colFirst"><code>static java.awt.Color[][]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getColorMatrixProperty(java.lang.String,java.awt.Color%5B%5D%5B%5D)">getColorMatrixProperty</a></span>​(java.lang.String name,
                      java.awt.Color[][] def)</code></th>
<td class="colLast">
<div class="block">Returns the value of a color matrix property.</div>
</td>
</tr>
<tr id="i34" class="altColor">
<td class="colFirst"><code>static java.awt.Color</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getColorProperty(java.lang.String)">getColorProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the value of a color property.</div>
</td>
</tr>
<tr id="i35" class="rowColor">
<td class="colFirst"><code>static java.awt.Color</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getColorProperty(java.lang.String,java.awt.Color)">getColorProperty</a></span>​(java.lang.String name,
                java.awt.Color def)</code></th>
<td class="colLast">
<div class="block">Returns the value of a color property.</div>
</td>
</tr>
<tr id="i36" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getCurrentLanguage()">getCurrentLanguage</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the current language used by jEdit.</div>
</td>
</tr>
<tr id="i37" class="rowColor">
<td class="colFirst"><code>static double</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getDoubleProperty(java.lang.String,double)">getDoubleProperty</a></span>​(java.lang.String name,
                 double def)</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i38" class="altColor">
<td class="colFirst"><code>static <a href="manager/EditPaneManager.html" title="interface in org.gjt.sp.jedit.manager">EditPaneManager</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getEditPaneManager()">getEditPaneManager</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the Edit Pane manger</div>
</td>
</tr>
<tr id="i39" class="rowColor">
<td class="colFirst"><code>static <a href="EditServer.html" title="class in org.gjt.sp.jedit">EditServer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getEditServer()">getEditServer</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the edit server instance.</div>
</td>
</tr>
<tr id="i40" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getFirstBuffer()">getFirstBuffer</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the first buffer.</div>
</td>
</tr>
<tr id="i41" class="rowColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getFirstView()">getFirstView</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the first view.</div>
</td>
</tr>
<tr id="i42" class="altColor">
<td class="colFirst"><code>static java.awt.Font</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getFontProperty(java.lang.String)">getFontProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the value of a font property.</div>
</td>
</tr>
<tr id="i43" class="rowColor">
<td class="colFirst"><code>static java.awt.Font</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getFontProperty(java.lang.String,java.awt.Font)">getFontProperty</a></span>​(java.lang.String name,
               java.awt.Font def)</code></th>
<td class="colLast">
<div class="block">Returns the value of a font property.</div>
</td>
</tr>
<tr id="i44" class="altColor">
<td class="colFirst"><code>static <a href="gui/InputHandler.html" title="class in org.gjt.sp.jedit.gui">InputHandler</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getInputHandler()">getInputHandler</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the current input handler (key binding to action mapping)</div>
</td>
</tr>
<tr id="i45" class="rowColor">
<td class="colFirst"><code>static int</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getIntegerProperty(java.lang.String)">getIntegerProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the value of an integer property.</div>
</td>
</tr>
<tr id="i46" class="altColor">
<td class="colFirst"><code>static int</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getIntegerProperty(java.lang.String,int)">getIntegerProperty</a></span>​(java.lang.String name,
                  int def)</code></th>
<td class="colLast">
<div class="block">Returns the value of an integer property.</div>
</td>
</tr>
<tr id="i47" class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getJARCacheDirectory()">getJARCacheDirectory</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the directory where plugin cache files are stored.</div>
</td>
</tr>
<tr id="i48" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getJEditHome()">getJEditHome</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the jEdit install directory.</div>
</td>
</tr>
<tr id="i49" class="rowColor">
<td class="colFirst"><code>static <a href="../../../jedit/keymap/KeymapManager.html" title="interface in org.jedit.keymap">KeymapManager</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getKeymapManager()">getKeymapManager</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i50" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getLastBuffer()">getLastBuffer</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the last buffer.</div>
</td>
</tr>
<tr id="i51" class="rowColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getLastView()">getLastView</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the last view.</div>
</td>
</tr>
<tr id="i52" class="altColor">
<td class="colFirst"><code>static <a href="Mode.html" title="class in org.gjt.sp.jedit">Mode</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getMode(java.lang.String)">getMode</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the edit mode with the specified name.</div>
</td>
</tr>
<tr id="i53" class="rowColor">
<td class="colFirst"><code>static <a href="Mode.html" title="class in org.gjt.sp.jedit">Mode</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getModes()">getModes</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i54" class="altColor">
<td class="colFirst"><code>static int</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getNextUntitledBufferId()">getNextUntitledBufferId</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i55" class="rowColor">
<td class="colFirst"><code>static java.lang.String[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getNotLoadedPluginJARs()">getNotLoadedPluginJARs</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns a list of plugin JARs pathnames that are not currently loaded
 by examining the user and system plugin directories.</div>
</td>
</tr>
<tr id="i56" class="altColor">
<td class="colFirst"><code>static <a href="EditPlugin.html" title="class in org.gjt.sp.jedit">EditPlugin</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPlugin(java.lang.String)">getPlugin</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Returns the plugin with the specified class name.</div>
</td>
</tr>
<tr id="i57" class="rowColor">
<td class="colFirst"><code>static <a href="EditPlugin.html" title="class in org.gjt.sp.jedit">EditPlugin</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPlugin(java.lang.String,boolean)">getPlugin</a></span>​(java.lang.String name,
         boolean loadIfNecessary)</code></th>
<td class="colLast">
<div class="block">Returns the plugin with the specified class name.</div>
</td>
</tr>
<tr id="i58" class="altColor">
<td class="colFirst"><code>static <a href="PluginJAR.html" title="class in org.gjt.sp.jedit">PluginJAR</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPluginJAR(java.lang.String)">getPluginJAR</a></span>​(java.lang.String path)</code></th>
<td class="colLast">
<div class="block">Returns the JAR with the specified path name.</div>
</td>
</tr>
<tr id="i59" class="rowColor">
<td class="colFirst"><code>static <a href="PluginJAR.html" title="class in org.gjt.sp.jedit">PluginJAR</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPluginJARs()">getPluginJARs</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns an array of installed plugins.</div>
</td>
</tr>
<tr id="i60" class="altColor">
<td class="colFirst"><code>static <a href="EditPlugin.html" title="class in org.gjt.sp.jedit">EditPlugin</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPlugins()">getPlugins</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns an array of installed plugins.</div>
</td>
</tr>
<tr id="i61" class="rowColor">
<td class="colFirst"><code>static java.util.Properties</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getProperties()">getProperties</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the properties object which contains all known
 jEdit properties.</div>
</td>
</tr>
<tr id="i62" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getProperty(java.lang.String)">getProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Fetches a property, returning null if it's not defined.

</td>
</tr>
<tr id="i63" class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getProperty(java.lang.String,java.lang.Object%5B%5D)">getProperty</a></span>​(java.lang.String name,
           java.lang.Object[] args)</code></th>
<td class="colLast">
<div class="block">Returns the property with the specified name.</div>
</td>
</tr>
<tr id="i64" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getProperty(java.lang.String,java.lang.String)">getProperty</a></span>​(java.lang.String name,
           java.lang.String def)</code></th>
<td class="colLast">
<div class="block">Fetches a property, returning the default value if it's not
 defined.</div>
</td>
</tr>
<tr id="i65" class="rowColor">
<td class="colFirst"><code>static <a href="jEdit.JEditPropertyManager.html" title="class in org.gjt.sp.jedit">jEdit.JEditPropertyManager</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getPropertyManager()">getPropertyManager</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i66" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getRegisterStatusPrompt(java.lang.String)">getRegisterStatusPrompt</a></span>​(java.lang.String action)</code></th>
<td class="colLast">
<div class="block">Returns the status prompt for the given register action.</div>
</td>
</tr>
<tr id="i67" class="rowColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getSettingsDirectory()">getSettingsDirectory</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the path of the directory where user-specific settings
 are stored.</div>
</td>
</tr>
<tr id="i68" class="altColor">
<td class="colFirst"><code>static java.lang.String</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getVersion()">getVersion</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the jEdit version as a human-readable string.</div>
</td>
</tr>
<tr id="i69" class="rowColor">
<td class="colFirst"><code>static int</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getViewCount()">getViewCount</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the number of open views.</div>
</td>
</tr>
<tr id="i70" class="altColor">
<td class="colFirst"><code>static <a href="manager/ViewManager.html" title="interface in org.gjt.sp.jedit.manager">ViewManager</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getViewManager()">getViewManager</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns the view manager</div>
</td>
</tr>
<tr id="i71" class="rowColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a>[]</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#getViews()">getViews</a></span>()</code></th>
<td class="colLast">
<div class="block"><span class="deprecatedLabel">Deprecated.</span></div>
</td>
</tr>
<tr id="i72" class="altColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isBackgroundModeEnabled()">isBackgroundModeEnabled</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns true if jEdit was started with the <code>-background</code>
 command-line switch.</div>
</td>
</tr>
<tr id="i73" class="rowColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isMainThread()">isMainThread</a></span>()</code></th>
<td class="colLast">
<div class="block">Returns true if the currently running thread is the main thread.</div>
</td>
</tr>
<tr id="i74" class="altColor">
<td class="colFirst"><code>static boolean</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#isStartupDone()">isStartupDone</a></span>()</code></th>
<td class="colLast">
<div class="block">Whether jEdit startup is over.</div>
</td>
</tr>
<tr id="i75" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#main(java.lang.String%5B%5D)">main</a></span>​(java.lang.String[] args)</code></th>
<td class="colLast">
<div class="block">The main method of the jEdit application.</div>
</td>
</tr>
<tr id="i76" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#moveBuffer(org.gjt.sp.jedit.EditPane,int,int)">moveBuffer</a></span>​(<a href="EditPane.html" title="class in org.gjt.sp.jedit">EditPane</a> editPane,
          int oldPosition,
          int newPosition)</code></th>
<td class="colLast">
<div class="block">Moves a buffer from a old position to a new position in the
 BufferSet used in an EditPane.</div>
</td>
</tr>
<tr id="i77" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newFile(org.gjt.sp.jedit.EditPane)">newFile</a></span>​(<a href="EditPane.html" title="class in org.gjt.sp.jedit">EditPane</a> editPane)</code></th>
<td class="colLast">
<div class="block">Creates a new `untitled' file.
</td>
</tr>
<tr id="i78" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newFile(org.gjt.sp.jedit.EditPane,java.lang.String)">newFile</a></span>​(<a href="EditPane.html" title="class in org.gjt.sp.jedit">EditPane</a> editPane,
       java.lang.String dir)</code></th>
<td class="colLast">
<div class="block">Creates a new `untitled' file.
</td>
</tr>
<tr id="i79" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newFile(org.gjt.sp.jedit.View)">newFile</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Creates a new `untitled' file.
</td>
</tr>
<tr id="i80" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newFile(org.gjt.sp.jedit.View,java.lang.String)">newFile</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
       java.lang.String dir)</code></th>
<td class="colLast">
<div class="block">Creates a new `untitled' file.
</td>
</tr>
<tr id="i81" class="rowColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newView(org.gjt.sp.jedit.View)">newView</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Creates a new view.</div>
</td>
</tr>
<tr id="i82" class="altColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newView(org.gjt.sp.jedit.View,org.gjt.sp.jedit.Buffer)">newView</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
       <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer)</code></th>
<td class="colLast">
<div class="block">Creates a new view of a buffer.</div>
</td>
</tr>
<tr id="i83" class="rowColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newView(org.gjt.sp.jedit.View,org.gjt.sp.jedit.Buffer,boolean)">newView</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
       <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer,
       boolean plainView)</code></th>
<td class="colLast">
<div class="block">Creates a new view of a buffer.</div>
</td>
</tr>
<tr id="i84" class="altColor">
<td class="colFirst"><code>static <a href="View.html" title="class in org.gjt.sp.jedit">View</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#newView(org.gjt.sp.jedit.View,org.gjt.sp.jedit.Buffer,org.gjt.sp.jedit.View.ViewConfig)">newView</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
       <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a> buffer,
       <a href="View.ViewConfig.html" title="class in org.gjt.sp.jedit">View.ViewConfig</a> config)</code></th>
<td class="colLast">
<div class="block">Creates a new view.</div>
</td>
</tr>
<tr id="i85" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openFile(org.gjt.sp.jedit.EditPane,java.lang.String)">openFile</a></span>​(<a href="EditPane.html" title="class in org.gjt.sp.jedit">EditPane</a> editPane,
        java.lang.String path)</code></th>
<td class="colLast">
<div class="block">Opens a file.</div>
</td>
</tr>
<tr id="i86" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openFile(org.gjt.sp.jedit.EditPane,java.lang.String,java.lang.String,boolean,java.util.Hashtable)">openFile</a></span>​(<a href="EditPane.html" title="class in org.gjt.sp.jedit">EditPane</a> editPane,
        java.lang.String parent,
        java.lang.String path,
        boolean newFile,
        java.util.Hashtable<java.lang.String,​java.lang.Object> props)</code></th>
<td class="colLast">
<div class="block">Opens a file.</div>
</td>
</tr>
<tr id="i87" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openFile(org.gjt.sp.jedit.View,java.lang.String)">openFile</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
        java.lang.String path)</code></th>
<td class="colLast">
<div class="block">Opens a file.</div>
</td>
</tr>
<tr id="i88" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openFile(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,java.util.Hashtable)">openFile</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
        java.lang.String parent,
        java.lang.String path,
        boolean newFile,
        java.util.Hashtable<java.lang.String,​java.lang.Object> props)</code></th>
<td class="colLast">
<div class="block">Opens a file.</div>
</td>
</tr>
<tr id="i89" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openFileAfterStartup(java.lang.String)">openFileAfterStartup</a></span>​(java.lang.String path)</code></th>
<td class="colLast">
<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>
</td>
</tr>
<tr id="i90" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openFiles(org.gjt.sp.jedit.View,java.lang.String,java.lang.String%5B%5D)">openFiles</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
         java.lang.String parent,
         java.lang.String[] args)</code></th>
<td class="colLast">
<div class="block">Opens the file names specified in the argument array.</div>
</td>
</tr>
<tr id="i91" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean)">openTemporary</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
             java.lang.String parent,
             java.lang.String path,
             boolean newFile)</code></th>
<td class="colLast">
<div class="block">Opens a temporary buffer.</div>
</td>
</tr>
<tr id="i92" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,boolean)">openTemporary</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
             java.lang.String parent,
             java.lang.String path,
             boolean newFile,
             boolean untitled)</code></th>
<td class="colLast">
<div class="block">Opens a temporary buffer.</div>
</td>
</tr>
<tr id="i93" class="rowColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,java.util.Hashtable)">openTemporary</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
             java.lang.String parent,
             java.lang.String path,
             boolean newFile,
             java.util.Hashtable<java.lang.String,​java.lang.Object> props)</code></th>
<td class="colLast">
<div class="block">Opens a temporary buffer.</div>
</td>
</tr>
<tr id="i94" class="altColor">
<td class="colFirst"><code>static <a href="Buffer.html" title="class in org.gjt.sp.jedit">Buffer</a></code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#openTemporary(org.gjt.sp.jedit.View,java.lang.String,java.lang.String,boolean,java.util.Hashtable,boolean)">openTemporary</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
             java.lang.String parent,
             java.lang.String path,
             boolean newFile,
             java.util.Hashtable<java.lang.String,​java.lang.Object> props,
             boolean untitled)</code></th>
<td class="colLast">
<div class="block">Opens a temporary buffer.</div>
</td>
</tr>
<tr id="i95" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#propertiesChanged()">propertiesChanged</a></span>()</code></th>
<td class="colLast">
<div class="block">Reloads various settings from the properties.</div>
</td>
</tr>
<tr id="i96" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#reloadAllBuffers(org.gjt.sp.jedit.View,boolean)">reloadAllBuffers</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
                boolean confirm)</code></th>
<td class="colLast">
<div class="block">Reloads all open buffers.</div>
</td>
</tr>
<tr id="i97" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#reloadModes()">reloadModes</a></span>()</code></th>
<td class="colLast">
<div class="block">Reloads all edit modes.</div>
</td>
</tr>
<tr id="i98" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#relocateSettings()">relocateSettings</a></span>()</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i99" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#removeActionSet(org.gjt.sp.jedit.ActionSet)">removeActionSet</a></span>​(<a href="ActionSet.html" title="class in org.gjt.sp.jedit">ActionSet</a> actionSet)</code></th>
<td class="colLast">
<div class="block">Removes an action set from jEdit's list.
</td>
</tr>
<tr id="i100" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#removePluginJAR(org.gjt.sp.jedit.PluginJAR,boolean)">removePluginJAR</a></span>​(<a href="PluginJAR.html" title="class in org.gjt.sp.jedit">PluginJAR</a> jar,
               boolean exit)</code></th>
<td class="colLast">
<div class="block">Unloads the given plugin JAR with the specified path.</div>
</td>
</tr>
<tr id="i101" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#resetProperty(java.lang.String)">resetProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Resets a property to its default value.</div>
</td>
</tr>
<tr id="i102" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#saveAllBuffers(org.gjt.sp.jedit.View)">saveAllBuffers</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Saves all open buffers.</div>
</td>
</tr>
<tr id="i103" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#saveAllBuffers(org.gjt.sp.jedit.View,boolean)">saveAllBuffers</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view,
              boolean confirm)</code></th>
<td class="colLast">
<div class="block">Saves all open buffers.</div>
</td>
</tr>
<tr id="i104" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#saveSettings()">saveSettings</a></span>()</code></th>
<td class="colLast">
<div class="block">Saves all user preferences to disk.</div>
</td>
</tr>
<tr id="i105" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setBooleanProperty(java.lang.String,boolean)">setBooleanProperty</a></span>​(java.lang.String name,
                  boolean value)</code></th>
<td class="colLast">
<div class="block">Sets a boolean property.</div>
</td>
</tr>
<tr id="i106" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setColorMatrixProperty(java.lang.String,java.awt.Color%5B%5D%5B%5D)">setColorMatrixProperty</a></span>​(java.lang.String name,
                      java.awt.Color[][] value)</code></th>
<td class="colLast">
<div class="block">Sets the value of a color matrix property.</div>
</td>
</tr>
<tr id="i107" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setColorProperty(java.lang.String,java.awt.Color)">setColorProperty</a></span>​(java.lang.String name,
                java.awt.Color value)</code></th>
<td class="colLast">
<div class="block">Sets the value of a color property.</div>
</td>
</tr>
<tr id="i108" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setDoubleProperty(java.lang.String,double)">setDoubleProperty</a></span>​(java.lang.String name,
                 double value)</code></th>
<td class="colLast"> </td>
</tr>
<tr id="i109" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setFontProperty(java.lang.String,java.awt.Font)">setFontProperty</a></span>​(java.lang.String name,
               java.awt.Font value)</code></th>
<td class="colLast">
<div class="block">Sets the value of a font property.</div>
</td>
</tr>
<tr id="i110" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setIntegerProperty(java.lang.String,int)">setIntegerProperty</a></span>​(java.lang.String name,
                  int value)</code></th>
<td class="colLast">
<div class="block">Sets the value of an integer property.</div>
</td>
</tr>
<tr id="i111" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setProperty(java.lang.String,java.lang.String)">setProperty</a></span>​(java.lang.String name,
           java.lang.String value)</code></th>
<td class="colLast">
<div class="block">Sets a property to a new value.</div>
</td>
</tr>
<tr id="i112" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#setTemporaryProperty(java.lang.String,java.lang.String)">setTemporaryProperty</a></span>​(java.lang.String name,
                    java.lang.String value)</code></th>
<td class="colLast">
<div class="block">Sets a property to a new value.</div>
</td>
</tr>
<tr id="i113" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#showMemoryDialog(org.gjt.sp.jedit.View)">showMemoryDialog</a></span>​(<a href="View.html" title="class in org.gjt.sp.jedit">View</a> view)</code></th>
<td class="colLast">
<div class="block">Performs garbage collection and displays a dialog box showing
 memory status.</div>
</td>
</tr>
<tr id="i114" class="altColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#unsetProperty(java.lang.String)">unsetProperty</a></span>​(java.lang.String name)</code></th>
<td class="colLast">
<div class="block">Unsets (clears) a property.</div>
</td>
</tr>
<tr id="i115" class="rowColor">
<td class="colFirst"><code>static void</code></td>
<th class="colSecond" scope="row"><code><span class="memberNameLink"><a href="#visit(org.gjt.sp.jedit.visitors.JEditVisitor)">visit</a></span>​(<a href="visitors/JEditVisitor.html" title="interface in org.gjt.sp.jedit.visitors">JEditVisitor</a> visitor)</code></th>
<td class="colLast">
<div class="block">Visit the views, editpanes and textareas</div>
</td>
</tr>
</table>
<ul class="blockList">
<li class="blockList"><a id="methods.inherited.from.class.java.lang.Object">
<!--   -->
</a>
<h3>Methods inherited from class java.lang.Object</h3>
<code>clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait</code></li>
</ul>
</li>
</ul>
</section>
</li>
</ul>
</div>
<div class="details">
<ul class="blockList">
<li class="blockList">
<!-- ============ METHOD DETAIL ========== -->
<section role="region">
<ul class="blockList">
<li class="blockList"><a id="method.detail">
<!--   -->
</a>
<h3>Method Detail</h3>
<a id="getVersion()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getVersion</h4>
<pre class="methodSignature">public static java.lang.String getVersion()</pre>
<div class="block">Returns the jEdit version as a human-readable string.</div>
</li>
</ul>
<a id="getBuild()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getBuild</h4>
<pre class="methodSignature">public static java.lang.String getBuild()</pre>
<div class="block">Returns the internal version. MiscUtilities.compareStrings() can be used
 to compare different internal versions.</div>
</li>
</ul>
<a id="main(java.lang.String[])">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>main</h4>
<pre class="methodSignature">public static void main​(java.lang.String[] args)</pre>
<div class="block">The main method of the jEdit application.
 This should never be invoked directly.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>args</code> - The command line arguments</dd>
</dl>
</li>
</ul>
<a id="getCurrentLanguage()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getCurrentLanguage</h4>
<pre class="methodSignature">public static java.lang.String getCurrentLanguage()</pre>
<div class="block">Returns the current language used by jEdit.</div>
<dl>
<dt><span class="returnLabel">Returns:</span></dt>
<dd>the current language, never null</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 5.0pre1</dd>
</dl>
</li>
</ul>
<a id="getProperties()">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProperties</h4>
<pre class="methodSignature">public static java.util.Properties getProperties()</pre>
<div class="block">Returns the properties object which contains all known
 jEdit properties. Note that as of jEdit 4.2pre10, this returns a
 new collection, not the existing properties instance.</div>
<dl>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 3.1pre4</dd>
</dl>
</li>
</ul>
<a id="getProperty(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProperty</h4>
<pre class="methodSignature">public static java.lang.String getProperty​(java.lang.String name)</pre>
<div class="block">Fetches a property, returning null if it's not defined.
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
</dl>
</li>
</ul>
<a id="getProperty(java.lang.String,java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProperty</h4>
<pre class="methodSignature">public static java.lang.String getProperty​(java.lang.String name,
                                           java.lang.String def)</pre>
<div class="block">Fetches a property, returning the default value if it's not
 defined.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
<dd><code>def</code> - The default value</dd>
</dl>
</li>
</ul>
<a id="getProperty(java.lang.String,java.lang.Object[])">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getProperty</h4>
<pre class="methodSignature">public static java.lang.String getProperty​(java.lang.String name,
                                           java.lang.Object[] args)</pre>
<div class="block">Returns the property with the specified name.<p>

 The elements of the <code>args</code> array are substituted
 into the value of the property in place of strings of the
 form <code>{<i>n</i>}</code>, where <code><i>n</i></code> is an index
 in the array.<p>

 You can find out more about this feature by reading the
 documentation for the <code>format</code> method of the
 <code>java.text.MessageFormat</code> class.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
<dd><code>args</code> - The positional parameters</dd>
</dl>
</li>
</ul>
<a id="getBooleanProperty(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getBooleanProperty</h4>
<pre class="methodSignature">public static boolean getBooleanProperty​(java.lang.String name)</pre>
<div class="block">Returns the value of a boolean property.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
</dl>
</li>
</ul>
<a id="getBooleanProperty(java.lang.String,boolean)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getBooleanProperty</h4>
<pre class="methodSignature">public static boolean getBooleanProperty​(java.lang.String name,
                                         boolean def)</pre>
<div class="block">Returns the value of a boolean property.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
<dd><code>def</code> - The default value</dd>
</dl>
</li>
</ul>
<a id="getIntegerProperty(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getIntegerProperty</h4>
<pre class="methodSignature">public static int getIntegerProperty​(java.lang.String name)</pre>
<div class="block">Returns the value of an integer property.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
</dl>
</li>
</ul>
<a id="getIntegerProperty(java.lang.String,int)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getIntegerProperty</h4>
<pre class="methodSignature">public static int getIntegerProperty​(java.lang.String name,
                                     int def)</pre>
<div class="block">Returns the value of an integer property.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
<dd><code>def</code> - The default value</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 4.0pre1</dd>
</dl>
</li>
</ul>
<a id="getDoubleProperty(java.lang.String,double)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getDoubleProperty</h4>
<pre class="methodSignature">public static double getDoubleProperty​(java.lang.String name,
                                       double def)</pre>
</li>
</ul>
<a id="getFontProperty(java.lang.String)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getFontProperty</h4>
<pre class="methodSignature">public static java.awt.Font getFontProperty​(java.lang.String name)</pre>
<div class="block">Returns the value of a font property. The family is stored
 in the <code><i>name</i></code> property, the font size is stored
 in the <code><i>name</i>size</code> property, and the font style is
 stored in <code><i>name</i>style</code>. For example, if
 <code><i>name</i></code> is <code>view.gutter.font</code>, the
 properties will be named <code>view.gutter.font</code>,
 <code>view.gutter.fontsize</code>, and
 <code>view.gutter.fontstyle</code>.</div>
<dl>
<dt><span class="paramLabel">Parameters:</span></dt>
<dd><code>name</code> - The property</dd>
<dt><span class="simpleTagLabel">Since:</span></dt>
<dd>jEdit 4.0pre1</dd>
</dl>
</li>
</ul>
<a id="getFontProperty(java.lang.String,java.awt.Font)">
<!--   -->
</a>
<ul class="blockList">
<li class="blockList">
<h4>getFontProperty</h4>
<pre class="methodSignature">public static java.awt.Font getFontProperty​(java.lang.String name,
                                            java.awt.Font def)</pre>
--> --------------------

--> maximum size reached

--> --------------------

¤ Dauer der Verarbeitung: 0.208 Sekunden  (vorverarbeitet)  ¤





Download des
Quellennavigators
Download des
sprechenden Kalenders

Eigene Datei ansehen




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