Re: About licenses

Hi Björn,

Just checking since this thread seems to have died off last spring. I've
been running the new beanshell locally all summer and don't find any
issues. What in your mind needs to happen to be able to update jEdit with
this new beanshell code? Just checking it in to source control doesn't
really do it, beanshell is Apache licensed, and jEdit is still GPL 2. Does
someone just need to add something somewhere that is GPL 3, then we're good?

Thanks,

Dale







On Tue, Apr 27, 2021 at 2:57 PM Dale Anson <[email protected]> wrote:

> About the tab height for FlatLAF -- there is a fix for that in svn. After
> the initial plugin was released, I also didn't like the tab size, so I
> reached out to the FormDev people. They responded quickly with a tip on how
> to make the tabs smaller. The plugin code in svn resets the tab height from
> 32 pixels to 12 pixels, which is much nicer.  I should get around to
> putting in a release request for that change.
>
>
> On Tue, Apr 27, 2021 at 3:21 AM Vampire <[email protected]> wrote:
>
>>
>>
>> > Starting a new thread about licenses, the previous conversation was
>> under a thread titled "FlatLAF 1.0 is here".
>>
>> Ah, sorry, didn't see this thread before I answered to the other one.
>>
>> > So it seems to me that adding any code that has a GPL3 license
>> automatically makes jEdit licensed under GPL3. FSF went to a lot of trouble
>> to create GPL3 so it would be compatible with several other popular open
>> source licenses. Further:
>>
>> As I wrote in the other thread, I somehow was sure it is GPLv2 not GPLv2+.
>> But yes, as it is GPLv2+ we can anytime upgrade to GPLv3 or GPLv3+ and
>> thus become compatible for using ASLv2.
>>
>> > Beanshell is currently released under Apache 2.0 license, so updating
>> Beanshell wouldn't be a problem, assuming jEdit is licensed under GPL3.
>> >
>> > Similarly, FlatLAF is currently released under Apache 2.0 license.
>>
>> Yes, we could if we really want to. :-)
>> The question is whether we want to loose our default look and instead
>> look like little brother of IntelliJ :-D
>> From what I've see in the plugin I'm not fully convinced yet to have that
>> as default.
>> It's nice to have a dark theme, but there are multiple parts that do not
>> blend in yet like the text area or the status bar.
>> In the themes I tried the editor tabs are taking up almost twice as much
>> vertical space than in metal which is bad.
>> I'm not sure we should have that as default, at least not without a
>> serious amount of polishing first.
>> It might be a good idea to update the plugin to the latest version and
>> then interested parties could iron out the optics to maybe evolve it to
>> eventually become the default. (The fight for which theme will be the
>> default will also be interesting I guess. :-D)
>>
>> > Isabelle is currently released under the modified BSD license, so there
>> should be no license issue there with either GPL2 or 3 (
>> https://www.gnu.org/licenses/license-list.en.html#GPLCompatibleLicenses)
>>
>> Well, it is compatible to include stuff under modified BSD into GPL
>> stuff, not the other way around.
>> But thanks to our plugin exception it is fine anyway.
>>
>> > Plugins are all over the place, some with GPL2, some with Apache, some
>> with BSD, some with no mention of a license at all. I don't think this
>> matters, as all plugins are separate projects and only interact with jEdit
>> through published API calls, which shouldn't have any licensing
>> ramifications.
>>
>> That's just true because of our plugin exception though.
>> Without it, all plugins would be derivative work and would be required to
>> be released under the same license.
>> That's the difference to LGPL where you can link against with any license.
>>
>> And the plugins that do not have own licensing hints are under the same
>> license as jEdit by definition of the README of jEdit which says
>>
>> > A number of plugins are available for jEdit. Unless otherwise stated in
>> > the plugin's documentation, each of the plugins is licensed for use and
>> > redistribution under the terms of the GNU General Public License (either
>> > version 2 or any later version, at the user's election).
>>
>>
>> Cheers
>> Björn
>>
>>

-- 
-----------------------------------------------
jEdit Developers' List
[email protected]
https://lists.sourceforge.net/lists/listinfo/jedit-devel