2015-10-28 15:35 GMT+01:00 Peter Uhnák <i.uhnak@gmail.com>:
I think there must be some incompatibility between Pharo and the host window manager/desktop environment.
On Debian/dwm (I am using Ubuntu VM) I can reproduce (1), but not (2).
There is however interesting behavior... if I try to switch desktop while in fullscreen it doesn't switch, however once I switch back to non-fullscreen, suddenly I jump to the other desktop, as if the keyboard shortcut for the switch got buffered somewhere...
Opening a issue in FogzBugz is a good idea so it doesn't get forgotten.
Peter
On Wed, Oct 28, 2015 at 3:15 PM, J.F. Rick <self@je77.com> wrote:
Hi everybody,
I just upgraded to Ubuntu 15.10 and am using Unity User Interface. I want Pharo to use the full screen (i.e., above the menu bar and launcher). Inside Pharo, I can choose "Toggle full screen mode". This works to some extent but has some problems:
(1) I can no longer switch applications or desktops (i.e., pager). So it stops me doing work where I move between Pharo and a browser. This may be expected functionality.
(2) More problematically, when I try to switch out of full screen mode by choosing "Toggle full screen mode", the Pharo interface completely disappears (just a giant gray area) and no mouse or keyboard events seem to register. I have to use command line to kill it. In good news, I can use "save and quit" instead and relaunching it just has it in maximum mode (full screen but launcher and menu bar are visible). I can then toggle full screen mode twice to get back to full screen.
I searched for this on FogBugz but found nothing. Is there a workaround? This seems like a VM issue. Is there a newer VM that fixes this? I just used the most recent one on the Pharo 4.0 download page.
If nobody has a fix, I'll open a case on FogBugz. This isn't a large problem but it would be nice to have this
It is a know problem (with possible fixes) (http://bugs.squeak.org/view.php?id=7812) You can not switch back from fullscreen on a linux 64-bit system ( http://bugs.squeak.org/view.php?id=7833) (maybe not only 32bit issue, but just the more recent windowmanager)
Cheers,
Jeff