Eu os ampliei por um fator de 1,25 da seguinte maneira:
--- /usr/share/cinnamon/applets/[email protected]/applet.js 2014-12-28 17:30:10.451714782 +0000
+++ /home/mint/.local/share/cinnamon/applets/window-list@des-nerger/applet.js 2014-12-28 07:51:57.610317300 +0000
@@ -637,7 +637,7 @@
alloc.natural_size = naturalSize;
[minSize, naturalSize] = this._label.get_preferred_width(forHeight);
alloc.min_size = alloc.min_size + Math.max(0, minSize - Math.floor(alloc.min_size / 2));
- alloc.natural_size = 150 * global.ui_scale;
+ alloc.natural_size = 150 * global.ui_scale * 5 / 4;
},
_getContentPreferredHeight: function(actor, forWidth, alloc) {