Robin Vobruba

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

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

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

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