Mercurial
Mercurial
>
repos
>
isabelle
/ file revisions
summary
|
shortlog
|
changelog
|
graph
|
tags
|
bookmarks
|
branches
|
file
| revisions |
annotate
|
diff
|
comparison
|
rss
|
help
(0)
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
src/Tools/jEdit/etc/options
2012-10-05
wenzelm
tuned color and font size;
file
|
diff
|
annotate
2012-10-04
wenzelm
refined rich tooltip options;
file
|
diff
|
annotate
2012-10-04
wenzelm
option to bypass potentially slow text overview;
file
|
diff
|
annotate
2012-09-21
wenzelm
some support for hovering and sendback area;
file
|
diff
|
annotate
2012-09-20
wenzelm
clarified message background;
file
|
diff
|
annotate
2012-09-20
wenzelm
tuned rendering;
file
|
diff
|
annotate
2012-09-18
wenzelm
more explicit message markup and rendering;
file
|
diff
|
annotate
2012-09-14
wenzelm
clarified markup names;
file
|
diff
|
annotate
2012-09-14
wenzelm
tuned options (again);
file
|
diff
|
annotate
2012-09-11
wenzelm
some GUI support for color options;
file
|
diff
|
annotate
2012-09-11
wenzelm
more precise sections;
file
|
diff
|
annotate
2012-09-11
wenzelm
provide color values via options;
file
|
diff
|
annotate
2012-09-11
wenzelm
more options;
file
|
diff
|
annotate
2012-09-11
wenzelm
replaced jedit_relative_font_size by jedit_font_scale;
file
|
diff
|
annotate
2012-09-11
wenzelm
some support to organize options in sections;
file
|
diff
|
annotate
2012-09-10
wenzelm
option jedit_load_delay;
file
|
diff
|
annotate
2012-09-10
wenzelm
manage Isabelle/jEdit options as Isabelle/Scala options (with persistent preferences);
file
|
diff
|
annotate
less
more
(0)
tip