torios team mailing list archive

[Geoffrey De Belie <computergeoffrey@xxxxxxxx>]

Hi Israel

I would suggest you make a new button for date & time in the JWM Settings Manager, instead of crunching it into Panel Settings -> Apps -> Clock Format. The needed features are:
* set the time zone
* set the datetime format
* set the tooltip datetime format

Panel Settings -> Appearance
This is not well aligned and therefore does not look good.

Bug:
Open JSM (JWM Settings Manager), click Panel settings, click go back to main window. Click panel settings again => segmentation fault.
See here:
https://bugs.launchpad.net/jwm-settings-manager/+bug/1437826

Bug:
JSM -> Themes
"No such file or directory" is displayed in the command line
See here:
https://bugs.launchpad.net/jwm-settings-manager/+bug/1437827

Kind regards,
Geoffrey De Belie