-
Notifications
You must be signed in to change notification settings - Fork 25
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Overture crashes when using top bar for file switching #652
Comments
Hi monochromagic. When you say, "the top bar", do you mean switching between tabs in the editor view? This is a very basic function and seems to be working for me. Can you never switch between editors or not between VDM++ and VDM-SL or perhaps only with some file loaded in the editor? Can you narrow down the circumstances when it occurs in any way? |
Yes, exactly, using the tabs for switching makes Overture crash. File type doesn't matter. Actually, I don't think it's the switching that causes the issue. It seems to simply be the act of clicking a file name in the tab bar. |
That's strange. It certainly doesn't happen for me - that's 64-bit openSUSE with Java 8. The error stack trace seems to have a drag event in progress? What might that be? |
I've never seen a View called "Drag Placeholder" before. Have you loaded other Eclipse plugins into Overture? There are some open bugs in Eclipse to do with drag and drop of views in a perspective. See https://bugs.eclipse.org/bugs/show_bug.cgi?id=492861. Are you trying to re-order the workspace perspective at all? |
I can't produce this problem on Linux (Ubuntu 17.04). I think this could be a problem with Eclipse (like Nick suggests). Can you produce this problem using a fresh Overture installation that does not have additional plugins installed? |
The installation is fresh - I have no plugins. Eclipse is not even installed on my system, could that be an issue? |
No that shouldn't be a problem, Overture should work as long as you have Java installed. I'm curious to know whether this problem also happens if you're using a plain version of Eclipse. Currently, Overture builds against Eclipse Neon, which you can download here http://www.eclipse.org/downloads/packages/release/Neon/3 . Can you produce this issue using that version of Eclipse? Another thing: what version of GTK are you using? On my Linux distro the command |
Also, could you provide us with a step by step description of what you do to cause the issue - right from starting up Overture? I know you said in the original post that you just click on the tab bar, but obviously you must (what?) open a project and then open more than one source file first, and so on. I still don't understand why the stack trace is showing us a drag-and-drop error; that would mean you were dragging one of the tabs? Can you try with a different mouse or a track pad? - there might be an issue with the mouse events that are being generated by your device. |
@nina-j Did you get a chance to try any of the above suggestions? You could also try to use the newest test builds, which build against a newer version of Eclipse. You can download the test builds here: |
@nina-j has confirmed that this was a problem with her machine. |
Description
The Overture tool crashes when I use the top bar for file switching
with the following error message:
All other Overture functionality works as expected.
Steps to Reproduce
Expected behavior: File switching
Actual behavior: Overture crashes
Reproduces how often: 100% of the time
Versions
Overture: v. 2.5.2
OS: Antergos Linux x86_64
Host: SVP1321C5E C60C6NCW
Kernel: 4.13.8-1-ARCH
Java: The following Java versions are available for me, default is the one currently selected.
Available Java environments:
java-7-openjdk
java-8-jre/jre (default)
java-8-openjdk
java-9-jdk
Additional Information
Here is a log paste of the issue. Note that it displays Arch since AntergOS is just a prepackaged Arch distro.
The text was updated successfully, but these errors were encountered: