Sorry, @karel, your edit clearly conflicts with OP's intent (see the comment above).
– pomskyMay 17 '18 at 13:35
Maybe you could install dash to dock and configure it to behave as the regular gnome dash while also increasing it's size.
– dsSTORMMay 17 '18 at 14:16