# HG changeset patch # User bsw # Date 1405632519 -7200 # Node ID 04809990c2e750186898da36e6bfde054d3e4d02 # Parent 9ed6e0389854ce0f256195da45e8090d207a9ccd Show development settings only to developers diff -r 9ed6e0389854 -r 04809990c2e7 app/main/member/developer_settings.lua --- a/app/main/member/developer_settings.lua Wed Jul 16 22:05:42 2014 +0200 +++ b/app/main/member/developer_settings.lua Thu Jul 17 23:28:39 2014 +0200 @@ -9,7 +9,7 @@ local setting_key = "liquidfeedback_frontend_developer_features" local setting = Setting:by_pk(app.session.member.id, setting_key) -if true or setting then +if setting then ui.section( function() ui.sectionHead( function () ui.heading{ content = "CSS development settings" }