Re: [isabelle-dev] jedit: zoom with cmd++

[Makarius]

On Wed, 19 Dec 2012, Steffen Juilf Smolka wrote:

in a39250169636, it is possible to increase/decrease the font size in 
jedit with cmd++/cmd+- on MacOS (probably ctrl++/ctrl+- on other 
plattforms) (nice feature!). However, pressing cmd++ increases the 
font size twice on my machine (cmd+- works fine).


That was one such convenience that I managed to get working after 20min 
Windows and Linux, followed by 2 weeks of tinkering on Mac OS X.  But that 
is not finished yet, and there are remaining problems to treat CTRL, ALT, 
COMMAND modifiers properly: it can cause duplication or triplication of 
key events.



See also the mail thread on Mac OS X support on Oracle Java 7 that 
Fabian Immler has started recently 
http://sourceforge.net/mailarchive/message.php?msg_id=30165793


It touches some of the internal issues, including a slightly odd 
workaround by myself to modify an older workaround to make it half-working 
again under Java 7.


This needs more systematic investigation, by instrumenting the jEdit 
sources to produce detailed traces for all critical points where the 
MacOSX specific key handling happens.  Then it needs to be compared for 
Java 6 vs. Java 7, to reconstruct the ideas behind it, which nobody 
seems to remember on jedit-devel.



I am unsure if I will manage anything like that myself before the Isabelle 
release.  Mac OS X poses a bit too many extra problems, and has a bit too 
few people actually supporting it actively.  On jedit-devel there is right 
now exactly one Mac OS X guy hanging around.



Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

Re: [isabelle-dev] Repository Trouble

[Makarius]

On Fri, 21 Dec 2012, Jasmin Christian Blanchette wrote:


Am 20.12.2012 um 21:30 schrieb Alexander Krauss:


On 12/20/2012 12:20 AM, Alexander Krauss wrote:

(2) The local sysadmins are working on replacement of the Mercurial 
2.4 from SuSE 12.2, which is potentially the cause problems here.


Replacement with what? Going to an older version is no solution in the 
long run.


[*] In fact, I've been successfully applying the policy of skipping many 
versions of most of the software I use. This exposes me over time to 
fewer bugs, and the bugs I'm exposed to I get to know better and work 
around.


The latter tendency is indeed a very good one to retain sanity in 
production use of anything.  Staying up-to-date on the leading edge might 
be fun in its own right, but works against actual work getting done, where 
tools are just tools and not an end in itself.


BTW, SuSE 12.2 was mentioned on this thread several times, but the local 
admins have recently included an alternative RPM repository with sliding 
updates to latest versions.  It is unclear if this bites us here, but it 
is just another tendency towards more cunfusion of versions of everything.

(Like Gentoo does by default, as it seems.)


For the Isabelle distribution I always struggle to get just the right 
selection of stable versions of all these add-on components that we ship 
now, and the latest things just have the latest problems that are not 
solved yet.



Makarius
___
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev