1. 一般改配置就可以直接修改高度
2. 你想要的是 panel 不要显示 Task Bar，还是要做成 Mac/Ubuntu 里面 Menu Bar 的效果（ Ubuntu 之前有和 Mac 差不多的 Menu Bar，但是后来好像没了，和 GNOME 统一了，应该是和 Unity 有关）？前者可以想办法把 Task Bar 这个组件删掉（配置里删掉，如果不行的话代码里删掉），这样就能做到“一个打开的应用同时显示在 dock 和 bar 里面”。
后者稍微麻烦一点，需要类似 #2 的东西，但是这个东西在 Linux 下并不完美（应该也是和 Unity 退潮有关）。
当然我会考虑你把 Task Bar 干掉之后用什么来填充这个空间（绝大多数情况下 Menu Bar 不能完全填满 1366 以上宽度的显示器，#2 那个 GNOME 截图到处都是反生产力的设计，还填不满 1920 屏幕的一半）。可以不填充就留着空白，但是对于我来说这是空间的浪费。如果是 /r/unixporn 的话，可能会考虑显示个网速，音乐播放控制之类的。
哦，我的选择是不用 Dock，因为 Dock 也是反生产力的（尤其在“同一应用的多个实例同时存在”的情况下）。把 Menu Bar，Task Bar 和 Status Bar 放到一起，最大限度节省空间。
3. Workspace Switcher 以文本方式显示，在 tiling 向的 panel 里面比较多见。原因可能是此类 panel 避免了一般客户端软件“把用户当傻逼”的设计思路（但是依然无法避免固有思维的影响，比如绝大多数此类 panel 也并没有啥图形能力）。而在主流偏向于“把用户当傻逼”的软件中做到可能比较难。我没用过 Cinnamon，楼主可能要做好改源码的准备（
https://old.reddit.com/r/gnome/comments/a6hjdp/display_workspace_names，对应到 Cinnamon 好像应该是
https://github.com/linuxmint/cinnamon/blob/8fbdd45740e09448f266a567f32037d2497f4752/files/usr/share/cinnamon/applets/workspace-switcher%40cinnamon.org/applet.js#L223 ）。
有趣的是，在非 tiling WM 的 panel 中更流行的好像是 graph 形式的显示，比如这个 fvwm 的截图（
http://www.xwinman.org/screenshots/fvwm2-taviso.png ，
http://www.xwinman.org/screenshots/fvwm2-karl.jpg ），Cinnamon 和 xfce 也有类似功能。但是好像很少有把两者结合的（上面说了，tiling WM 用的 panel 基本没有图形能力），虽然我用 tiling WM，但是和 tiling WM 的典型目标用户不同，我目前没有给 workspace 设定特定的用途，因此 graph 对我更有用。