PHPDevShell

custom css

Bug #947656 reported by Greg
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
PHPDevShell
Fix Released
Medium
Greg
PHPDevShell 3.2.0-stable "Amun-Ra"

Bug Description

In the GUI settings I can have a custom logo ; having a custom css file would be very nice too

Greg (gregfr)
Changed in phpdevshell:
importance: Undecided → Wishlist
Revision history for this message
Greg (gregfr) wrote :

PHPDS is a great tool, it took me 2 minutes to implement it :D

Changed in phpdevshell:
assignee: nobody → Greg (gregfr)
status: New → In Progress
importance: Wishlist → Medium
Greg (gregfr)
Changed in phpdevshell:
status: In Progress → Fix Committed
Revision history for this message
TitanKing (titan-phpdevshell) wrote :

I found various issues with the implimentation of this causing the default install to break the general configuration UI tabs;

1. No empty check is done in settings, making the general settings gui Custom CSS field return a error, making the whole general setting page break (fix pushed).
2. Needed to add $configuration['preloaded_settings'] custom_css so setting is cached (fix pushed).

Changed in phpdevshell:
milestone: none → 3.1.4-stable
TitanKing (titan-phpdevshell)
Changed in phpdevshell:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.
Subscribing...

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.