gnome-panel as dock

[Kevin Beranek]

Hello,

I am trying to use gnome-panel as my dock in ion3 and it is mostly working,
but I have one problem with it.  I attached a screenshot of what is
happening.  Essentially there is a portion of the screen that is unusable
situated directly above the panel.

Here's what I have done so far.

At the top of cfg_dock.lua:

mod_dock.create{
   mode="embedded",
   screen=1,
   pos="bl",
   grow="right",
   is_auto=true,
   floating_hidden=false,
   name="*dock*",
}

and at the bottom:

defwinprop{
   class = "Gnome-panel",
   instance = "gnome-panel",
   target = "*dock*",
}

I also tried adding a max_size to the defwinprop, but that didn't change
anything.

Is there anything I can do to fix this?


Thanks,
Kevin Beranek

<<attachment: Screenshot.png>>