Mercurial > localebrowser

log

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
less more | rev 285: (0) -100 -60 tip
age author description
Sun, 23 Sep 2012 19:40:07 +0200 Markus Kaiser updated compiled jar default tip
Sun, 23 Sep 2012 19:35:40 +0200 Markus Kaiser add missing header newline
Sun, 23 Sep 2012 19:34:47 +0200 Markus Kaiser remove outdated TODO, update README
Sun, 23 Sep 2012 19:22:03 +0200 Markus Kaiser remove debug code
Sun, 23 Sep 2012 19:21:25 +0200 Markus Kaiser unify header newlines
Sun, 23 Sep 2012 19:18:32 +0200 Markus Kaiser correct leftover references
Sun, 23 Sep 2012 19:13:46 +0200 Markus Kaiser rename mutators and alter their descriptions
Sun, 23 Sep 2012 19:10:37 +0200 Markus Kaiser rename locales to nodes, interpretations to edges
Sun, 23 Sep 2012 19:01:40 +0200 Markus Kaiser correct file headers
Sun, 23 Sep 2012 18:51:23 +0200 Markus Kaiser rename entry-classes to Graphview_*; adapt jEdit files
Sun, 23 Sep 2012 18:45:13 +0200 Markus Kaiser move to isabelle.graphview namespace
Sun, 23 Sep 2012 18:37:18 +0200 Markus Kaiser style corrections; straighter splines
Fri, 07 Sep 2012 17:58:53 +0200 Markus Kaiser remove unused import
Fri, 07 Sep 2012 17:58:46 +0200 Markus Kaiser fix padding and scaled translations
Thu, 06 Sep 2012 03:02:16 +0200 Markus Kaiser updated compiled jar
Thu, 06 Sep 2012 03:01:54 +0200 Markus Kaiser fix drag-scrolling
Thu, 06 Sep 2012 01:46:02 +0200 Markus Kaiser fix mousewheel zoom
Wed, 05 Sep 2012 23:51:42 +0200 Markus Kaiser add PNG export
Wed, 05 Sep 2012 21:47:24 +0200 Markus Kaiser drawer offers a "paint_all_visible" method
Wed, 05 Sep 2012 21:46:10 +0200 Markus Kaiser add preferred size to frame
Wed, 05 Sep 2012 20:40:33 +0200 Markus Kaiser rework graph_panel transformations; wrap graph_panel in a scrollpane
Wed, 05 Sep 2012 17:27:02 +0200 Markus Kaiser use graph instead of xml as model parameter
Thu, 30 Aug 2012 18:51:37 +0200 Markus Kaiser remove random-layout
Thu, 30 Aug 2012 18:29:29 +0200 Markus Kaiser reverse y-order in pendulum layout
Thu, 30 Aug 2012 18:27:04 +0200 Markus Kaiser add option for arrow heads
Thu, 30 Aug 2012 18:12:39 +0200 Markus Kaiser replace HashMaps by Maps
Thu, 30 Aug 2012 17:36:09 +0200 Markus Kaiser repaint after parameter selection
Thu, 30 Aug 2012 17:35:45 +0200 Markus Kaiser Add Cardinal-Spline Edges
Thu, 30 Aug 2012 17:22:22 +0200 Markus Kaiser try_read moved to File
Thu, 23 Aug 2012 20:50:58 +0200 Markus Kaiser Comment wording
Thu, 23 Aug 2012 20:24:12 +0200 Markus Kaiser updated compiled jar
Thu, 23 Aug 2012 20:22:40 +0200 Markus Kaiser only consider y-coordinate for dummies
Thu, 23 Aug 2012 19:42:15 +0200 Markus Kaiser hide current Translation and Scale
Thu, 23 Aug 2012 19:38:08 +0200 Markus Kaiser remove never-used Dummy.paint call
Thu, 23 Aug 2012 19:18:12 +0200 Markus Kaiser don't use bad dummies after dragging
Thu, 23 Aug 2012 19:02:02 +0200 Markus Kaiser draw dummies
Thu, 23 Aug 2012 18:38:50 +0200 Markus Kaiser make dummies draggable
Thu, 23 Aug 2012 18:03:50 +0200 Markus Kaiser layout once after startup
Thu, 23 Aug 2012 17:34:20 +0200 Markus Kaiser remove unused imports
Thu, 23 Aug 2012 17:30:46 +0200 Markus Kaiser add apply layout button
Thu, 23 Aug 2012 17:30:39 +0200 Markus Kaiser remove debug output
Thu, 23 Aug 2012 17:14:36 +0200 Markus Kaiser fix crossing minimization
Wed, 22 Aug 2012 18:17:41 +0200 Markus Kaiser updated compiled jar
Wed, 22 Aug 2012 17:47:32 +0200 Markus Kaiser make focus-grabbing less aggressive
Wed, 22 Aug 2012 17:45:00 +0200 Markus Kaiser synchronize filter color creation
Wed, 22 Aug 2012 17:43:03 +0200 Markus Kaiser reenable floating tooltips
Wed, 22 Aug 2012 17:33:54 +0200 Markus Kaiser sanity check in pendulum layout
Sat, 18 Aug 2012 22:58:18 +0200 wenzelm updated compiled jar;
Sat, 18 Aug 2012 22:57:14 +0200 wenzelm spelling;
Sat, 18 Aug 2012 22:55:11 +0200 wenzelm some attempts to suppress empty tooltips;
Sat, 18 Aug 2012 22:45:56 +0200 wenzelm updated cobra.jar from jedit_build-20120813 appear to make tooltips work;
Sat, 18 Aug 2012 22:39:24 +0200 wenzelm anti-aliasing of text and drawing;
Sat, 18 Aug 2012 22:25:15 +0200 wenzelm comment;
Sat, 18 Aug 2012 22:21:47 +0200 wenzelm comment;
Sat, 18 Aug 2012 22:11:17 +0200 wenzelm proper SwingApplication, to have GUI components initialized on AWT thread;
Sat, 18 Aug 2012 21:58:03 +0200 wenzelm more standard init/exit of main (cf. src/Pure/main.scala);
Sat, 18 Aug 2012 21:37:55 +0200 wenzelm prevent utf8 vs. isolatin confusion;
Sun, 29 Jul 2012 20:53:54 +0200 Markus Kaiser fix count_crossings, remove some debug output
Sun, 29 Jul 2012 19:27:16 +0200 Markus Kaiser fix deflect and move operations
Sun, 29 Jul 2012 19:25:06 +0200 Markus Kaiser fix background-repaint bug
less more | rev 285: (0) -100 -60 tip