Re: [isabelle-dev] Update of jdk and jedit components

[Makarius]

On Fri, 4 Dec 2015, Dmitriy Traytel wrote:

here is one way to still (e1e6bb36b27a) edit the output buffer: to use 
the compose key.


On my Mac, if I place the cursor into the output buffer and press alt-u 
followed bei u, an ü appears in the output.


See now

changeset:   62211:451bd09b8277
user:wenzelm
date:Wed Jan 20 19:19:33 2016 +0100
files:   src/Tools/jEdit/src/pretty_text_area.scala
description:
bypass input method for better imitation of read-only mode (cf. 
f26a4d5e82b5): e.g. relevant for composition of ALT-u u on Mac OS X;



This is also relevant to popups: here the focus policy is a bit different. 
The compose-sequence above should produce a prop "ü", but blindly without 
showing the intermediate state.



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

Re: [isabelle-dev] Update of jdk and jedit components

[Dmitriy Traytel]

Hi Makarius,

here is one way to still (e1e6bb36b27a) edit the output buffer: to use the 
compose key.

On my Mac, if I place the cursor into the output buffer and press alt-u 
followed bei u, an ü appears in the output.

Dmitriy

> On 04 Nov 2015, at 20:42, Makarius  wrote:
> 
> On Wed, 4 Nov 2015, Makarius wrote:
> 
>> This incident means I need to figure out a different way to avoid edits on 
>> output-only text areas.
> 
> See now
> 
> changeset:   61570:f26a4d5e82b5
> user:wenzelm
> date:Wed Nov 04 17:14:17 2015 +0100
> files:   src/Tools/jEdit/src/pretty_text_area.scala
> description:
> dummy input handler to imitate former read-only mode, which has changed its 
> meaning in jedit-5.3.0 as mere hint for saving;
> 
> 
>   Makarius
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

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

Re: [isabelle-dev] Update of jdk and jedit components

[Makarius]

On Wed, 4 Nov 2015, Makarius wrote:

This incident means I need to figure out a different way to avoid edits 
on output-only text areas.


See now

changeset:   61570:f26a4d5e82b5
user:wenzelm
date:Wed Nov 04 17:14:17 2015 +0100
files:   src/Tools/jEdit/src/pretty_text_area.scala
description:
dummy input handler to imitate former read-only mode, which has changed 
its meaning in jedit-5.3.0 as mere hint for saving;



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

Re: [isabelle-dev] Update of jdk and jedit components

[Makarius]

On Wed, 4 Nov 2015, Mathias Fleury wrote:

I am a bit surprised that the content of the tooltips and the output 
panel can be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015).


Step to reproduce:
 * open a theory file
 * type a lemma
 * select some text of the output panel
 * type any letter

Result: the selected text is gone and replaced by what has been typed.
Expected: the output panel should not be changed.


This odd behaviour stems from d40f906bb13f, which is the update to 
jedit-5.3.0.  The jedit-changes file says:


  - Allow editing, but not saving, of read only files.
(Feature request #422 - Dale Anson)

The corresponding tracker item 
http://sourceforge.net/p/jedit/feature-requests/422 reads like this:


  Jedit must allow user to make edits in a readonly files. It is very
  wrong to disable this in any case: jedit is the _text editor_

Just from the wording, the feature request was formally wrong, and would 
not have gone through on any Isabelle mailing list.



This incident means I need to figure out a different way to avoid edits on 
output-only text areas.



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

Re: [isabelle-dev] Update of jdk and jedit components

[Mathias Fleury]

Thanks for the information,

Mathias

> On 4 Nov 2015, at 15:55, Makarius  wrote:
> 
> On Wed, 4 Nov 2015, Mathias Fleury wrote:
> 
>> I am a bit surprised that the content of the tooltips and the output panel 
>> can be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015).
>> 
>> Step to reproduce:
>> * open a theory file
>> * type a lemma
>> * select some text of the output panel
>> * type any letter
>> 
>> Result: the selected text is gone and replaced by what has been typed.
>> Expected: the output panel should not be changed.
> 
> This odd behaviour stems from d40f906bb13f, which is the update to 
> jedit-5.3.0.  The jedit-changes file says:
> 
>  - Allow editing, but not saving, of read only files.
>(Feature request #422 - Dale Anson)
> 
> The corresponding tracker item 
> http://sourceforge.net/p/jedit/feature-requests/422 reads like this:
> 
>  Jedit must allow user to make edits in a readonly files. It is very
>  wrong to disable this in any case: jedit is the _text editor_
> 
> Just from the wording, the feature request was formally wrong, and would not 
> have gone through on any Isabelle mailing list.
> 
> 
> This incident means I need to figure out a different way to avoid edits on 
> output-only text areas.
> 
> 
>   Makarius

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

Re: [isabelle-dev] Update of jdk and jedit components

[Mathias Fleury]

Hello Makarius,

I am a bit surprised that the content of the tooltips and the output panel can 
be changed (both in 6d513469f9b2 and Isabelle_23-Oct-2015).

Step to reproduce:
  * open a theory file
  * type a lemma
  * select some text of the output panel
  * type any letter

Result: the selected text is gone and replaced by what has been typed. 
Expected: the output panel should not be changed.


Strangely, the delete key keeps removing text from the theory buffer. I could 
not reproduce this behavior in Isabelle2015, but I do not know when this 
started.

Mathias

> On 23 Oct 2015, at 23:22, Makarius  wrote:
> 
> In Isabelle/d40f906bb13f there is now jdk-8u66 and jedit-5.3.0.  There are 
> relatively few changes from upstream; this is mainly consolidation.
> 
> As we are slowly approaching the pre-release mode, it is important to keep an 
> eye an all the fine points on all platforms.  Does Java 8 really work as it 
> should?
> 
> 
> Here is a full integration test of the application bundles for Linux, 
> Windows, Windows 64, Mac OS X:
> 
>  http://www4.in.tum.de/~wenzelm/test/Isabelle_23-Oct-2015
> 
> 
> Various details of the "app" have changed in the past few weeks, so it is 
> important to take a look if it conforms to the principle of monotonic 
> improvements that we've had in Isabelle for almost 30 years.
> 
> For example, all platforms now uniformly support a single-instance model of 
> the main desktop application.
> 
> 
>   Makarius
> ___
> isabelle-dev mailing list
> isabelle-...@in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev

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

[isabelle-dev] Update of jdk and jedit components

[Makarius]

In Isabelle/d40f906bb13f there is now jdk-8u66 and jedit-5.3.0.  There are 
relatively few changes from upstream; this is mainly consolidation.


As we are slowly approaching the pre-release mode, it is important to keep 
an eye an all the fine points on all platforms.  Does Java 8 really work 
as it should?



Here is a full integration test of the application bundles for Linux, 
Windows, Windows 64, Mac OS X:


  http://www4.in.tum.de/~wenzelm/test/Isabelle_23-Oct-2015


Various details of the "app" have changed in the past few weeks, so it is 
important to take a look if it conforms to the principle of monotonic 
improvements that we've had in Isabelle for almost 30 years.


For example, all platforms now uniformly support a single-instance model 
of the main desktop application.



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