isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Thu, 29 Aug 2013 12:38:33 +0200 maintain Completion_Popup.Text_Area as client property like Document_View;

changeset

wenzelm [Thu, 29 Aug 2013 12:38:33 +0200] rev 53274

maintain Completion_Popup.Text_Area as client property like Document_View; global Completion_Popup.Text_Area init/exit like SideKickPlugin; eliminated old SideKick completion -- cover all Isabelle modes uniformly; dynamic lookup of Isabelle.mode_syntax -- NB: buffer mode might be undefined in intermediate stages;

Thu, 29 Aug 2013 10:24:43 +0200 some completion options;

changeset

wenzelm [Thu, 29 Aug 2013 10:24:43 +0200] rev 53273

some completion options;

Thu, 29 Aug 2013 10:01:59 +0200 more abstract Completion_Popup.Text_Area;

changeset

wenzelm [Thu, 29 Aug 2013 10:01:59 +0200] rev 53272

more abstract Completion_Popup.Text_Area; more uniform font size;

Thu, 29 Aug 2013 09:16:03 +0200 GTK+ works better due to avoidance of default list view popups;

changeset

wenzelm [Thu, 29 Aug 2013 09:16:03 +0200] rev 53271

GTK+ works better due to avoidance of default list view popups;