Activity for Robin Vobruba

  • Robin Vobruba Robin Vobruba posted a comment on ticket #4

    this should be fixed in: https://github.com/hoijui/Opcion

  • Robin Vobruba Robin Vobruba posted a comment on ticket #1

    hey! :-) you might be interested in adding your patch here: https://github.com/hoijui/Opcion

  • Robin Vobruba Robin Vobruba posted a comment on ticket #1885

    i fixed the plugin code up abit, to compile and load with latest jedit, and to include build instructions: https://github.com/hoijui/scalac-jedit (related pull request is here: https://github.com/vseryakov/scalac-jedit/pull/2 ) it still fails to compile when used in jEdit though -> help appreciated! (i have zero scala experience) and btw: it seems to be very rudimentary

  • Robin Vobruba Robin Vobruba posted a comment on discussion Open Discussion

    hello! :-) i wanted to ask, if the source code repository is available to the public,...

1