Hi,
Would it be possible, using Ion extensions, to have different
themes/bindings per workspace? The first thing that came to my mind was
a hook that would detect activity on a given workspace and load the
theme and bindings, as needed.
Something like:
ioncore.get_hook("region_activated_hook"):add(
function (region)
if <region is a workspace> then
if <workspace A> then <load themes/bindings for A> end
if <workspace B> then <load themes/bindings for B> end
end
And so on. Is that reasonable? Is there any other way of implementing
such functionality?
Thanks,
-p.
