[isabelle-dev] Grouping of Isabelle Symbols

[Fabian Immler]

2012/11/21 Christian Sternagel <c-sterna at 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-sterna at 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-dev at in.tum.de
>>>
>>> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
>>>
>