Retargeted old PR#63 to master

2020-08-23 Thread Michael Bien
I just changed the target branch of my old Lucene PR* to master. I haven't noticed that github added this feature 4 years ago :) since the changes in my WIP branch are not independent from each other i am going to wait until its integrated before i create new PRs. Otherwise it could get compli

Re: StylesheetEdit.jsp never receives custom stylesheets

2020-08-23 Thread Michael Bien
awesome! best regards, michael On 23.08.20 15:49, Dave wrote: Yes, master is now up-dated with the latest from the 6.0.x branch. And, your stylesheet fix looks good. Thanks! Dave On Sun, Aug 23, 2020 at 8:00 AM Michael Bien wrote: ping On 06.08.20 14:48, Michael Bien wrote: Hello, i

Re: StylesheetEdit.jsp never receives custom stylesheets

2020-08-23 Thread Dave
Yes, master is now up-dated with the latest from the 6.0.x branch. And, your stylesheet fix looks good. Thanks! Dave On Sun, Aug 23, 2020 at 8:00 AM Michael Bien wrote: > ping > > > On 06.08.20 14:48, Michael Bien wrote: > > Hello, > > > > is the master branch currently up2date? > > > > > > i

Re: StylesheetEdit.jsp never receives custom stylesheets

2020-08-23 Thread Michael Bien
ping On 06.08.20 14:48, Michael Bien wrote: Hello, is the master branch currently up2date? if yes then i might have just fixed a bug: StylesheetEdit only sets the stylesheet if it is shared, never when its a custom theme. This causes the Design/Stylesheet page to think that the theme does