[Gambas-user] [Gambas Bug Tracker] Bug #931: IDE settings spinbox for tab width too narrow

[bugtracker at ...3416...]

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

C THAL reported a new bug.

Summary
-------

IDE settings spinbox for tab width too narrow

Type             : Bug
Priority         : Low
Gambas version   : 3.8
Product          : Development Environment


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

see image


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

[System]
Gambas=3.8.4
OperatingSystem=Linux
Kernel=4.2.0-35-generic
Architecture=x86_64
Distribution=Ubuntu 14.04.4 LTS
Desktop=XFCE
Theme=Gtk
Language=de_DE.UTF-8
Memory=7684M

[Libraries]
Cairo=libcairo.so.0.0.0
Cairo=libcairo.so.2.11301.0
Curl=libcurl.so.4.3.0
DBus=libdbus-1.so.3.7.6
GStreamer=libgstreamer-0.10.so.0.30.0
GStreamer=libgstreamer-1.0.so.0.204.0
GTK+2=libgtk-x11-2.0.so.0.2400.23
GTK+3=libgtk-3.so.0.1000.8
OpenGL=libGL.so.1.2.0
Poppler=libpoppler.so.44.0.0
QT4=libQtCore.so.4.8.6
QT5=libQt5Core.so.5.2.1
SDL=libSDL-1.2.so.0.11.4

[Environment]
DBUS_SESSION_BUS_ADDRESS=unix:abstract=/tmp/dbus-bWdu8ppGGu
DEFAULTS_PATH=/usr/share/gconf/xfce.default.path
DESKTOP_SESSION=xfce
DISPLAY=:0.0
GB_GUI=gb.qt4
GDMSESSION=xfce
GDM_LANG=de_DE
GLADE_CATALOG_PATH=:
GLADE_MODULE_PATH=:
GLADE_PIXMAP_PATH=:
GNOME_KEYRING_CONTROL=/run/user/1000/keyring-AJLGPn
GNOME_KEYRING_PID=2348
GPG_AGENT_INFO=/run/user/1000/keyring-AJLGPn/gpg:0:1
GTK_MODULES=canberra-gtk-module:canberra-gtk-module
HOME=<home>
IM_CONFIG_PHASE=1
INSTANCE=
JOB=dbus
LANG=de_DE.UTF-8
LOGNAME=<user>
MANDATORY_PATH=/usr/share/gconf/xfce.mandatory.path
PATH=/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/usr/local/games
PWD=<home>
QT_QPA_PLATFORMTHEME=appmenu-qt5
SELINUX_INIT=YES
SESSION=xfce
SESSIONTYPE=
SESSION_MANAGER=local/<hostname>:@/tmp/.ICE-unix/2883,unix/<hostname>:/tmp/.ICE-unix/2883
SHELL=/usr/bin/zsh
SHLVL=0
SSH_AUTH_SOCK=/run/user/1000/keyring-AJLGPn/ssh
TEXTDOMAIN=im-config
TEXTDOMAINDIR=/usr/share/locale/
TZ=:/etc/localtime
UPSTART_EVENTS=started xsession
UPSTART_INSTANCE=
UPSTART_JOB=startxfce4
UPSTART_SESSION=unix:abstract=/com/ubuntu/upstart-session/1000/2023
USER=<user>
USERNAME=<user>
WINDOWPATH=7
XAUTHORITY=/var/run/gdm/auth-for-<user>-sj7Mw1/database
XDG_CONFIG_DIRS=/etc/xdg/xdg-xfce:/usr/share/upstart/xdg:/etc/xdg:/etc/xdg
XDG_CURRENT_DESKTOP=XFCE
XDG_DATA_DIRS=/usr/share/xfce:/usr/share/xfce4:/usr/local/share/:/usr/share/:/usr/share
XDG_MENU_PREFIX=xfce-
XDG_RUNTIME_DIR=/run/user/1000
XDG_SEAT=seat0
XDG_SESSION_ID=c1
XDG_VTNR=7