Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#1232 jDiff error: unsplit view

minor bug
closed-fixed
nobody
5
2003-02-01
2002-08-07
Nitsan Vardi
No

with jEdit 4.1pre2, jDiff started on an unsplit view
results in an error message from Java, rather than a
regular error message from the plugin (or perform
splitting automatically).
The activity log (enclosed) says:

[debug] DualDiff: Splitting: the view has to be split
in two
[error] BeanShellAction: java.lang.NoSuchMethodError:
org.gjt.sp.jedit.View.splitVertically()V

and the error is also shown in a dialog box.
See version information in the enclosed activity log

Discussion

  • Nitsan Vardi
    Nitsan Vardi
    2002-08-07

    Activity log

     
    Attachments
  • Logged In: NO

    unsolved as of jEdit 4.1pre4

    I don't know that that V is doing here...

    I checked JDiff sources and they seemed right...

    tried view.splitVertically() from the beanshell and it also
    worke

    A.

     
  • Logged In: NO

    I'm getting the same behaviour as nvardi with 4.1pre4 and
    jDiff 1.3.

    Tim Bentley (timbentley)

     
  • Logged In: NO

    Tried compiling and jar'ing the code from the current jDiff
    release (1.3), and that version doesn't have the problem -
    looks like a bad binary crept into the plugin distribution.

    Tim Bentley (timbentley)

     
  • Mike Dillon
    Mike Dillon
    2002-10-01

    Logged In: YES
    user_id=1479

    This is probably a linkage error of some sort. I have
    modified Plugin Central to disallow downloading this version
    of JDiff from jEdit 4.1. The problem remains, however, and
    should be fixed in the the first release of JDiff plugin
    that requires 4.1 or greater.

     
  • Logged In: YES
    user_id=24753

    The method has changed between 4.0 and 4.1
    The V after the method means that the JVM is looking for a
    method returning void.

    public void splitVertically()
    {
    split(JSplitPane.HORIZONTAL_SPLIT);
    }

    in 4.1 the method is:

    public EditPane splitVertically()
    {
    return split(JSplitPane.HORIZONTAL_SPLIT);
    }

     
  • Slava Pestov
    Slava Pestov
    2003-02-01

    • status: open --> closed-fixed