Go to file
Hans de Goede 5cb25b44eb Fix vertical squashing of the panel icons
The teapot and especially the progress circle icon in the panel are
squashed with GNOME-3.32. The problem appears to be that the padding
which we are requesting gets applied not only to the surface-size
which we are being passed (which is 20 px wide for our 24 px size),
but gets applied a second time using scaling squashing the image
and making the progress circle non round.

This commit fixes this by removing the padding, as gnome shell
automatically adds plenty of padding and directly requesting 20x20 as
surface size, which results in a 20x27 surface as we are given the full
height of the panel as height, but our own padding code takes care of
that.

Signed-off-by: Hans de Goede <hdegoede@redhat.com>
2019-05-07 10:35:15 +02:00
pkg/arch PKGBUILD for archlinux 2013-11-05 11:19:35 +01:00
po automatic merge of new translations 2016-10-04 22:12:49 +02:00
src Fix vertical squashing of the panel icons 2019-05-07 10:35:15 +02:00
autogen.sh New configure system including translations 2013-10-31 10:19:53 +01:00
beautify-code.sh Add beautifier script and mention it in readme 2017-11-20 23:32:35 +01:00
configure.ac New configure system including translations 2013-10-31 10:19:53 +01:00
LICENSE.md Create LICENSE.md 2013-05-20 22:16:25 +03:00
Makefile.am New configure system including translations 2013-10-31 10:19:53 +01:00
README.md Fix markdown 2017-11-20 23:35:32 +01:00
utilities-teatime.svg don't install icon 2014-10-15 00:58:43 +02:00

Premise

Before you do anything, please make sure, that you have the following packages installed:

  • libglib2.0-dev
  • intltool
  • gnome-common

The name of the package may vary from distribution to distributon. The first two packages provide m4-files needed for the generation of the configure script. The files in need are:

  • intltool.m4
  • gsettings.m4

They should be located somewhere in /usr/share/aclocal.

Installaton

If everything is in place, run

./autogen.sh

to generate the configure script. If everything worked well, do:

./configure --prefix=/usr && make

To install the extension to your home directory, run:

make local-install

Or to install it for all users you need administrator rights. Thus you've to use something like sudo or become root via su. Using sudo, simply run:

sudo make install

In case you can't find the applet in gnome-tweak-tool, restart gnome-shell (using Alt +F2, enter: r).

If you wish to translate TeaTime to your language, have a look at the directory po.

A handy zip file can be created using:

make zip   # This is the same you get via http://extensions.gnome.org

Thanks to Thomas Liebetraut for the new build system. Get the latest version from: https://github.com/tommie-lie/gnome-shell-extensions-template

Contribution

Patches are welcome. But please make sure the code you contribute is formated properly. Please run beautify-code.sh before sending pull requests. Therefore, you'll need to install the python tool js-beautify, e.g. via pip install jsbeautifier.