2012/11/21 Christian Sternagel <c-ste...@jaist.ac.jp>: > Hi again, > > I also think that the "Encoding" and "Abbreviation" TextAreas of my > Symbols.bsh macro would be nice to have in your dockable. At the moment (e2c08f20d00e) both of them are shown as tooltips on the buttons. I might place this information more prominently (like in Symbols.bsh)
> On 11/21/2012 02:32 PM, Fabian Immler wrote: >> >> See also changeset 4ff5d795ed08, which introduces a dockable for >> symbols. As it is included in the repository, I guess it supersedes >> the macro in your collection -- I could have thought about porting it >> to Scala, the current implementation is, however, relatively >> straightforward (and more dense compared to the Java code). >> >> If you have any comments or suggestions concerning the Symbols >> dockable, feel free >> to contact me! >> >> Regards, >> Fabian >> >> >> 2012/11/21 Christian Sternagel <c-ste...@jaist.ac.jp>: >>> >>> Is there a plan to make the grouping of changeset 0226d408058b available >>> in >>> Isabelle/Scala through isabelle.Symbol? I could make use of it in the >>> Symbols.bsh macro of >>> >>> https://isabelle.in.tum.de/community/Extending_Isabelle/jEdit >>> >>> cheers >>> >>> chris >>> >>> PS: Is it possible to somehow use Scala when writing jEdit macros? >>> Anyone? >>> _______________________________________________ >>> isabelle-dev mailing list >>> isabelle-...@in.tum.de >>> >>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev >>> > _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev