Custom Query (361 matches)

The preference mechanism should support dynamically computed defaults. This can be achieved by using reflection together with a method name given in the preference file:

 <pref name="ActiveHighlight" type="string" setDefault="setExample"/>

The method should be located in the already given class associated with the preference file, e.g. ExamplePrefs.java:

  public Boolean setExample() {
     return Eclipse.isRunningOnMac() ? "Orange" : "Blue";
  }

This is bogus and slightly silly example, but one reason we want this is to set platform-specific defaults for some values.

In my Coq file, identifiers beginning with "fun" have the "fun" in black and the rest of the identifier coloured.

Emacs: GNU Emacs 22.0.95.1 (x86_64-redhat-linux-gnu, GTK+ Version 2.10.9)

of 2007-03-06 on hs20-bc1-5.build.redhat.com

Proof General Version 3.7pre070511.

Hello,

In the past, when PG was started, Emacs showed the splash screen with PG portrait for a few seconds and then switched to the proof script buffer that I was going to edit. The splash screen occupied the whole Emacs frame.

For many months now, during startup the frame is split in two vertically. The bottom buffer has the splash screen, while the top part briefly shows the *Messages* buffer and then switches to the script file. The frame stays split with the splash buffer at the bottom. This happens in particular with .emacs file having only one line that loads PG. (See my Emacs version below.)

I prefer the earlier behavior. Currently, the big version of the PG portrait I got from the EPS file does not fit the bottom half frame :-(

Emacs : GNU Emacs 23.1.50.1 (i486-pc-linux-gnu, GTK+ Version 2.12.9)

of 2009-08-01 on radon, modified by Debian

Package: Proof General

current state: ============== (setq

proof-general-version "Proof General Version 4.0pre100709. Released by da." proof-assistant "Coq" )

Evgeny