From 7600e4b888574a42f02e4815bef218d874eb1801 Mon Sep 17 00:00:00 2001 From: Emmanuel Lepage Vallee Date: Mon, 4 Jul 2016 04:14:52 -0400 Subject: [PATCH] widget: Rewrite the checkbox as a 'real' widget It was previously an image used by imagebox. This doesn't support multi DPI and was an artefact of Awesome 3.4. --- widgets/init.lua | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/widgets/init.lua b/widgets/init.lua index 86dbe74..ca0be2e 100644 --- a/widgets/init.lua +++ b/widgets/init.lua @@ -1,7 +1,8 @@ -- Do some evil monkeypatching for upstreamable widgets local wibox = require("wibox") -wibox.layout.grid = require("radical.widgets.grid") +wibox.layout.grid = require( "radical.widgets.grid" ) +wibox.widget.checkbox = require( "radical.widgets.checkbox" ) return { checkbox = require( "radical.widgets.checkbox" ),