Re: [isabelle-dev] Problems with Fedora
On Wed, 11 Sep 2013, Makarius wrote: On Fri, 6 Sep 2013, Christian Sternagel wrote: My exact Fedora version is Fedora 19 64-bit with GNOME 3.8.2. I have made a few attempts to install that somewhat rough Linux distribution, either virtually or physically, but did not get very far. One virtual installation did not work after Virtualbox guest extensions were installed, another physical install did not work due to Fedora not liking my UEFI laptop. I will try again, maybe with some older machine. Trying on that older machine I had first wrecked my Ubuntu 12.04 LTS, but it is now back at Xubuntu 13.04. Trying harder on the UEFI laptop again, I actually managed: Fedora 19 running smoothly on 4 core i7 and accelerated Intel graphics. And I've also managed to reproduce the keyboard focus loss once or twice, but it is hard to get it again after the machine has "warmed up". It seems that the application simply fails to get more keyboard input, independently of the complex Swing GUI component focus scheme (popups etc.). Doing some web search while trying, I've found suspicious problem reports like this: iBus breaks keyboard input for java apps -- Feb 21, 2012 http://code.google.com/p/ibus/issues/detail?id=1417 It seems that the environment variable XMODIFIERS controls such input methods. On my Xununtu it is unset, but on Fedora it refers to ibus. So if you still get the keyboard focus loss reliably, you can try the following in $ISABELLE_HOME_USERS/etc/settings: unset XMODIFIERS or XMODIFIERS="" If that improves the situation, I could make this a factory default of Isabelle/jEdit on Linux. We will see during several weeks of testing of release candidates if it works for most users, or causes other problems. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Problems with Fedora
Dear Makarius, On 10/01/2013 06:48 AM, Makarius wrote: On Wed, 11 Sep 2013, Makarius wrote: Doing some web search while trying, I've found suspicious problem reports like this: iBus breaks keyboard input for java apps -- Feb 21, 2012 http://code.google.com/p/ibus/issues/detail?id=1417 It seems that the environment variable XMODIFIERS controls such input methods. On my Xununtu it is unset, but on Fedora it refers to ibus. So if you still get the keyboard focus loss reliably, I do. you can try the following in $ISABELLE_HOME_USERS/etc/settings: unset XMODIFIERS or XMODIFIERS="" I did (the latter) and until now the result looks promising (i.e., no more keyboard focus loss.). I will report back later whether this first impression still holds. Thanks for finding this workaround! If that improves the situation, I could make this a factory default of Isabelle/jEdit on Linux. We will see during several weeks of testing of release candidates if it works for most users, or causes other problems. In principle that sounds good. I am only unsure what the implications of setting XMODIFIERS to "" are. (What I noticed on the spot was that with the above setting, when switching to Japanese (Anthy) with input mode "Hiragana" -- which should result in special Japanese Glyphs -- just plain ASCII was rendered; however, since those glyphs are only rendered as "black boxes" in Isabelle/jEdit with the default setting, this might not be a great loss). cheers chris ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Problems with Fedora
On Tue, 1 Oct 2013, Christian Sternagel wrote: In principle that sounds good. I am only unsure what the implications of setting XMODIFIERS to "" are. (What I noticed on the spot was that with the above setting, when switching to Japanese (Anthy) with input mode "Hiragana" -- which should result in special Japanese Glyphs -- just plain ASCII was rendered; however, since those glyphs are only rendered as "black boxes" in Isabelle/jEdit with the default setting, this might not be a great loss). Do you actually have special settings on Fedora for your Japanese situation? Or is this just the default? I wonder how Ubuntu usually handles such things; it seems to be less aggressive in trying to be too smart. Or maybe they just have an ancient version of the X input methods from Debian that does not suffer from the more recent problems of iBus (reported by some Japanese guy in 2012). My general tendency is to deliver factory defaults that avoid serious problems, but might take away some elite features. Isabelle/jEdit mainly uses Unicode as poor-man's rendering for mathematical formulas, not so much for international text. I did have the ambition some years ago to support formalizing classic Greek mathematics in its Arabic original, but gave up rather quickly since too many prerequisites are just missing, not only fonts. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
Re: [isabelle-dev] Problems with Fedora
On Wed, 2 Oct 2013, Makarius wrote: My general tendency is to deliver factory defaults that avoid serious problems, but might take away some elite features. See now changeset: 54037:ab77ec347220 user:wenzelm date:Wed Oct 02 19:43:58 2013 +0200 files: Admin/Linux/Isabelle etc/settings src/Doc/JEdit/JEdit.thy description: unset XMODIFIERS by default, in order to prevent total loss of key events seen on Fedora 18/19; We have a few weeks of final testing of public Isabelle2013-1 release candidates. If the above hurts other Linux distrubution defaults, we need to look again. Makarius ___ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev