Jean-Marc Lasgouttes 62b06c64ed Use the same code for editable and non-editable buttons
This removes the use of rectText in RenderButton. The fact that this
gave different spacing than buttonText was a problem.

Now buttonText requires to specify
* the offset, so that INSET_TO_TEXT_OFFSET is not used anymore in
  src/frontends/, which will be useful later.
* the background and frame color, in replacement for the hover state.

Remove the methods button() and buttonFrame() from GuiPainter.

Remove some unused header files.

Fixes bug #10704.
2017-06-15 15:40:30 +02:00
..
2015-03-26 02:27:11 +01:00
2016-07-04 02:42:17 +02:00
2016-07-04 02:42:17 +02:00
2017-06-07 00:55:23 +02:00
2015-04-01 14:18:23 +02:00
2016-07-04 02:42:17 +02:00
2017-05-25 19:09:50 +02:00
2017-06-04 03:28:49 +02:00
2016-12-06 16:15:47 +01:00
2017-05-03 14:51:03 +02:00
2016-12-06 16:15:47 +01:00
2017-06-11 17:51:24 +02:00
2017-06-07 00:55:23 +02:00
2016-07-04 02:42:17 +02:00
2017-04-02 23:56:25 +02:00
2016-12-06 16:15:47 +01:00
2016-12-06 16:15:47 +01:00
2016-12-06 16:15:47 +01:00
2017-01-05 14:25:36 +01:00
2017-05-25 16:41:10 +02:00
2016-06-13 08:46:15 +01:00
2017-03-03 13:00:32 +01:00
2016-12-06 16:15:47 +01:00
2017-04-25 19:03:20 +02:00
2016-12-06 16:15:47 +01:00
2016-07-04 02:42:17 +02:00