jEdit Community home jEdit Community Wiki > Main > BeanShell (r1.2 vs. r1.3) jEdit Community Wiki webs:
Main | Plugins | Know | TWiki | Sandbox
Main . { Whats New | Users | Groups | Changes | Index | Search | Go }
 <<O>>  Difference Topic BeanShell (r1.3 - 15 Aug 2003 - Brad Mace)
Changed:
<
<

void duplicateLine() {

>
>

void duplicateLine() {

Changed:
<
<

if (buffer.isReadOnly()) {

>
>

if (buffer.isReadOnly()) {

Changed:
<
<

if (line == textArea.getLineCount() - 1) {

>
>

if (line == textArea.getLineCount() - 1) {

Changed:
<
<

} else

>
>

} else {

Added:
>
>

}


Topic BeanShell . { View | Diffs | r1.4 | > | r1.3 | > | r1.2 | More }
Revision r1.2 - 15 Aug 2003 - 18:05 GMT - Brad Mace
Revision r1.3 - 15 Aug 2003 - 18:23 GMT - Brad Mace
Copyright © 1999-2011 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding jEdit Community Wiki? Send feedback.
Get jEdit at !SourceForge.net. Fast, secure and Free Open Source software downloads