--
You received this message because you are subscribed to the Google Groups "ShiftEdit - Web based IDE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to shiftedit+unsubscribe@googlegroups.com.
To post to this group, send email to shif...@googlegroups.com.
Visit this group at https://groups.google.com/group/shiftedit.
For more options, visit https://groups.google.com/d/optout.
BTW this update is available on the dev channel.
On 27 March 2018 at 17:43, Adam Jimenez <adam.j...@gmail.com> wrote:
Hey Dave,The tree isn't a native jQuery UI component which is why it was getting missed out.For the default themes I inject a bit of CSS to style the tree component.I've pushed an update that will do this for custom themes as well.BTW there's been a lot of changes lately, are you liking the recent updates?
On 27 March 2018 at 17:00, David Duffy <dad...@gmail.com> wrote:
Hey Adam,Small thing, by no means an emergency. It would appear that table headers are being missed in applying Themeroller themes. I could be wrong though and just messing it up.I applied the following theme:However, when a section of the tree is highlighted, or the header columns of the tree, I see a colour that I cannot identify as anywhere in my theme. The class that is appears to be governing the background colour is .jstree-table-header-regularI have attached a screenshot. I hope I haven't messed up and am not just eating up your time.Thanks,Dave
--
You received this message because you are subscribed to the Google Groups "ShiftEdit - Web based IDE" group.
To unsubscribe from this group and stop receiving emails from it, send an email to shiftedit+...@googlegroups.com.
To post to this group, send email to shif...@googlegroups.com.
Visit this group at https://groups.google.com/group/shiftedit.
For more options, visit https://groups.google.com/d/optout.
--Best regards,Adam Jimenez
To unsubscribe from this group and stop receiving emails from it, send an email to shiftedit+unsubscribe@googlegroups.com.
To post to this group, send email to shif...@googlegroups.com.
Visit this group at https://groups.google.com/group/shiftedit.
For more options, visit https://groups.google.com/d/optout.