Added a new feature to the expand option. Its now possible to choose if ...

[p0intR]

...the top (main) panel is shifted or not and the the message tray no longer collides with the dock.

Made this addition because I like the way the dock presents itself expended, but hated the way it shifted that top bar (margin). With this changes the user can change that behaviour. Also the dock no longer collides with the message tray at the bottom by setting the margin on the tray if it's expended.

I hope this will help you making this extension even better!

[micheleg]

Thanks for your contribution. I'll try to have look at it in the next weeks.
On 18 Dec 2013 02:26, "p0intR" [email protected] wrote:

...the top (main) panel is shifted or not and the the message tray no
longer collides with the dock.

Made this addition because I like the way the dock presents itself
expended, but hated the way it shifted that top bar (margin). With this
changes the user can change that behaviour. Also the dock no longer
collides with the message tray at the bottom by setting the margin on the
tray if it's expended.

I hope this will help you making this extension even better!

You can merge this Pull Request by running

git pull https://github.com/p0intR/dash-to-dock master

Or view, comment on, or merge it at:

#89
Commit Summary

• Added a new feature to the expand option. Its now possible to choose
  if the top (main) panel is shifted or not and the the message tray no
  longer collides with the dock.

File Changes

• M dockedDash.jshttps://github.com/Added a new feature to the expand option. Its now possible to choose if ... #89/files#diff-0(36)
• M prefs.jshttps://github.com/Added a new feature to the expand option. Its now possible to choose if ... #89/files#diff-1(13)
• M schemas/org.gnome.shell.extensions.dash-to-dock.gschema.xmlhttps://github.com/Added a new feature to the expand option. Its now possible to choose if ... #89/files#diff-2(4)

Patch Links:

• https://github.com/micheleg/dash-to-dock/pull/89.patch
• https://github.com/micheleg/dash-to-dock/pull/89.diff

[oktayacikalin]

Works fine on Fedora 20 with GNOME Shell 3.10.3 having the panel always present and maximed to full height. Would be really nice to have it merged!

[micheleg]

Thanks for letting me know that it works. I haven't had time to test it
myself. I hope to be able to finally do it just after I update the
extension for 3.12.

I apology with @p0intR for the long delay taking into consideration his
contribution.

[micheleg]

I finally tested the patch. There's a minor problem. The panel shouldn't shift if the dash is not maximized, i.e. the option should not have any effect nor should be settable when the extended always visible options are not set as well.

[p0intR]

First of all, thank you for testing my changes!
I always use the dash maximized, so this problem never occurred to me.. nice testing on my side -.-'
I'll take this improvements in consideration an will upload a revised version soon!