[Gambas-bugtracker] Bug #1516: Unhandle exception when closing last tab in IDE with middle mouse button

[bugtracker at gambaswiki.org]

http://gambaswiki.org/bugtracker/edit?object=BUG.1516&from=L21haW4-

Uwe KELLER reported a new bug.

Summary
-------

Unhandle exception when closing last tab in IDE with middle mouse button

Type             : Bug
Priority         : Medium
Gambas version   : 3.12
Product          : Development Environment


Description
-----------

I have setup to use the middle mouse button to close IDE editor tabs. Sometimes the IDE crashes on closing the last tab.
"This application has raised an unexpected error and must be abort. [21] Out of bounds. FWorkspace.tabWorkspace_Close.916".
The error does not come up when closing by clicking the little cross button on the tab with the left mouse button.


System information
------------------

[System]
Gambas=3.12.2
OperatingSystem=Linux
Kernel=4.19.0-1-amd64
Architecture=x86_64
Distribution=<hostname> buster/sid
Desktop=GNOME
Theme=Qt5CTProxy
Language=de_DE.UTF-8
Memory=3870M

[Libraries]
Cairo=libcairo.so.2.11600.0
Curl=libcurl.so.4.5.0
DBus=libdbus-1.so.3.19.9
GStreamer=libgstreamer-1.0.so.0.1404.0
GTK+2=libgtk-x11-2.0.so.0.2400.32
GTK+3=libgtk-3.so.0.2404.0
OpenGL=libGL.so.1.7.0
Poppler=libpoppler.so.82.0.0
QT5=libQt5Core.so.5.11.3
SDL=libSDL-1.2.so.0.11.4
SQLite=libsqlite3.so.0.8.6

[Environment]
DBUS_SESSION_BUS_ADDRESS=unix:path=/run/user/1000/bus
DESKTOP_SESSION=gnome
DISPLAY=:0
GB_GUI=gb.qt5
GDMSESSION=gnome
GDM_LANG=de_DE.UTF-8
GIO_LAUNCHED_DESKTOP_FILE=/usr/share/applications/gambas3.desktop
GIO_LAUNCHED_DESKTOP_FILE_PID=3046
GJS_DEBUG_OUTPUT=stderr
GJS_DEBUG_TOPICS=JS ERROR;JS LOG
GNOME_DESKTOP_SESSION_ID=this-is-deprecated
HOME=<home>
LANG=de_DE.UTF-8
LOGNAME=<user>
PATH=/usr/local/bin:/usr/bin:/bin:/usr/local/games:/usr/games
PWD=<home>
PYTHONPATH=:<home>/Dokumente/Python
QT_QPA_PLATFORMTHEME=qt5ct
SESSION_MANAGER=local/<hostname>:@/tmp/.ICE-unix/990,unix/<hostname>:/tmp/.ICE-unix/990
SHELL=/bin/bash
SHLVL=0
SSH_AUTH_SOCK=/run/user/1000/keyring/ssh
TZ=:/etc/localtime
USER=<user>
USERNAME=<user>
WAYLAND_DISPLAY=wayland-0
XDG_CURRENT_DESKTOP=GNOME
XDG_MENU_PREFIX=gnome-
XDG_RUNTIME_DIR=/run/user/1000
XDG_SEAT=seat0
XDG_SESSION_CLASS=user
XDG_SESSION_DESKTOP=gnome
XDG_SESSION_ID=2
XDG_SESSION_TYPE=wayland
XDG_VTNR=2
_=/usr/bin/gnome-session