minor changes and fixed coding style

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21902 6b1eeb88-9816-0410-afa2-b43733a0f04e
factorized some code about Edit pane creation

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21903 6b1eeb88-9816-0410-afa2-b43733a0f04e
added @Nonnull & @Nullable annotations to arguments of constructor and setBuffer methods

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21904 6b1eeb88-9816-0410-afa2-b43733a0f04e
Now also checks for obsolete=true attribute in the <branch> of the plugin list xml.
So it will now disable Clipper plugin, for example.


git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21908 6b1eeb88-9816-0410-afa2-b43733a0f04e
Docs only.


git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21909 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fixed VFS session not ended in VFS.copy() api #3522406

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21910 6b1eeb88-9816-0410-afa2-b43733a0f04e
API Docs, reformatting.


git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21911 6b1eeb88-9816-0410-afa2-b43733a0f04e
checkForObsolete: Also check if the plugin is in the deprecated pluginset. 


git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21913 6b1eeb88-9816-0410-afa2-b43733a0f04e
Ok, nevermind about deprecated plugins. 


git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21914 6b1eeb88-9816-0410-afa2-b43733a0f04e
fixed a wrong accent

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21915 6b1eeb88-9816-0410-afa2-b43733a0f04e
Use of a scrollable list for delete dialog confirmation #2911520

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21916 6b1eeb88-9816-0410-afa2-b43733a0f04e
Do not assign AbbreviationSetLabel variable in the macro Display_Abbreviations #3539691

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21917 6b1eeb88-9816-0410-afa2-b43733a0f04e
Fix for View that do not remember their position if they are maximized #3474127

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21918 6b1eeb88-9816-0410-afa2-b43733a0f04e
Japanese translation for recent changes below.
r21916: Use of a scrollable list for delete dialog confirmation #2911520
r21896, r21897: Implemented Feature request #2931321 - Disable obsolete plugins

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21919 6b1eeb88-9816-0410-afa2-b43733a0f04e
reverted changes done in 21918 as it introduce another bug
Two bounds must be saved, one for full screen the other one for normal state

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21920 6b1eeb88-9816-0410-afa2-b43733a0f04e
Made "disable obsolete plugins" an option.
Now also searches for later branches of the plugin, and only
marks the plugin unsupported if the latest branch doesn't support this version of jEdit. 



git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21921 6b1eeb88-9816-0410-afa2-b43733a0f04e
Changelog.


git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21922 6b1eeb88-9816-0410-afa2-b43733a0f04e
fixed errors in javadoc generation (missing jsr305)

git-svn-id: https://jedit.svn.sourceforge.net/svnroot/jedit/jEdit/trunk@21923 6b1eeb88-9816-0410-afa2-b43733a0f04e
A slightly less broken auto indent.

The changes here try to make auto indent a little bit
smarter. The whole model of indent rules being based
on lines ("prev" and "prev prev") is fundamentally
broken, though, so there's just so much that can be
done without rewriting the whole thing.

The code here tries to make a smarter decision when
seeing code of the following kind:

  if (foo &&
      bar) {
    // Should indent based on "if", not previous line.
  }

The main change in the code is that the aligned bracket
rule needs to look at the unaligned brackets to get more
context, and vice-versa. Otherwise they're just making
wild guesses of what the indent should be, based on a
specific code convention (jEdit's) that isn't used
everywhere.

This code does break code of this sort, though:

  if (foo)
    // Should be indented, still is.
  // Should not be indented, but new code botches that.

Since using blocks without curly braces is somewhat
Bad Practice (tm), I don't care that's broken. Fixing
it is probably possible, but I'd rather spend time
thinking about how to properly implement indent rules.
Maybe.
Calculate the correct indent after multi-line comments.

The next line should be indented at the same level of
the line where the comment opens, not where it closes.