I just noticed the following behaviour in 705f0b728b1b: When the cursor remains
fixed in the theory window and I scroll in that window with the help of the
scoll bar, the output window goes blank when the line with the cursor is no
longer visible. I have no idea when that changed but in Isabelle
On Tue, 17 Sep 2013, Jasmin Blanchette wrote:
Which is the font used in the screenshot? Is this a standard font by
Apple, or from somewhere else?
It's called Consolas. I believe it's included with Mac OS X 10.8 -- I
don't remember installing any special fonts. I had the same issue with
Am 18.09.2013 um 16:51 schrieb Makarius makar...@sketis.net:
OK, just a few more details: The jEdit Global Options / Text Area pane has
various tuning parameters that affect the font style. What are your
preferences for the following?
Anti Aliased smooth text
Fractional font metrics
On Wed, 18 Sep 2013, Tobias Nipkow wrote:
When the cursor remains fixed in the theory window and I scroll in that
window with the help of the scoll bar, the output window goes blank when
the line with the cursor is no longer visible.
I have seen something like that yesterday, but did not
Am 18/09/2013 17:38, schrieb Makarius:
On Wed, 18 Sep 2013, Tobias Nipkow wrote:
When the cursor remains fixed in the theory window and I scroll in that
window
with the help of the scoll bar, the output window goes blank when the line
with the cursor is no longer visible.
I have seen
*** ML ***
* Improved printing of exception trace in Poly/ML 5.5.1, with regular
tracing output in the command transaction context instead of physical
stdout. See also Toplevel.debug, Toplevel.debugging and
ML_Compiler.exn_trace.
This refers to Isabelle/84522727f9d3.
Documented ways for
On Wed, 4 Sep 2013, Makarius wrote:
Doing some web search myself some months ago, I've found the WrapLayout
of http://tips4java.wordpress.com/2008/11/06/wrap-layout/ but that is
already quite old.
I have followed this link now, the result is in Isabelle/8ce7795256e1 and
On Tue, 17 Sep 2013, Jasmin Blanchette wrote:
Which is the font used in the screenshot? Is this a standard font by
Apple, or from somewhere else?
It's called Consolas. I believe it's included with Mac OS X 10.8 -- I
don't remember installing any special fonts.
That is a commercial font by
FlowLayouts invariably compute their preferred size
in one line. However, when later they are asked to
layout the children of their container, they break
them into lines and thus use up more vertical space
than advertised originally. As a result, components
in the later lines may be partly
On Wed, 18 Sep 2013, Holger Gast wrote:
Well, one more piece of information about Swing gathered. (Not very
useful though: like many people nowadays, I have switched to the much
faster and more modern SWT/JFace for my projects anyway.)
I count Eclipse/SWT also as a legacy thing. In any case
On Tue, 17 Sep 2013, Jasmin Blanchette wrote:
I had the same issue with Monaco, which is definitely a standard Mac
font.
I have played with this font a bit, but did not see anything suspicious so
far. I will use it more often in my office.
Since the problem is nondetermistic, it's a bit
11 matches
Mail list logo