Use common widget destructor for all simple gtk widgets
[luakit.git] / lib / 
tree4393fed27a4741a04ea0405b6674cf2e5f9d7a53
drwxr-xr-x   ..
-rw-r--r-- 4261 bind.lua
-rw-r--r-- 1762 mode.lua
-rw-r--r-- 4650 util.lua