Andreas Kling 320c79cb48
LibHTML: Join border edges nicely when painting boxes ...
Always paint border edges so they join nicely with their buddy edges.
This makes borders look nice even if all sides have different widths.
Also switch the border code to using floating point numbers since
otherwise things get very ugly very fast.
2019-11-25 14:37:04 +01:00
2019-10-04 15:50:50 +02:00
2019-11-18 16:30:18 +01:00
2019-11-18 16:30:18 +01:00
2019-10-20 10:07:26 +02:00
2019-11-25 14:37:04 +01:00
2019-11-25 14:37:04 +01:00
2019-10-15 16:48:38 +02:00
2019-10-15 16:48:38 +02:00
2019-10-15 16:48:38 +02:00
2019-11-05 22:13:26 +01:00
2019-11-18 20:26:32 +01:00
2019-10-05 23:29:01 +02:00
2019-10-15 16:48:38 +02:00
2019-10-15 16:48:38 +02:00
2019-11-18 16:30:18 +01:00
2019-10-11 23:16:53 +02:00
2019-11-18 16:30:18 +01:00
2019-10-15 16:48:38 +02:00
2019-11-18 16:30:18 +01:00
2019-11-18 16:30:18 +01:00
2019-11-05 22:13:26 +01:00
2019-10-19 09:44:40 +02:00
2019-10-15 16:48:38 +02:00
2019-10-18 09:38:12 +02:00
2019-10-18 09:38:12 +02:00
2019-10-17 23:39:31 +02:00
2019-10-18 09:38:12 +02:00
2019-10-18 09:38:12 +02:00
2019-10-18 09:38:12 +02:00
2019-11-21 13:15:11 +01:00
2019-11-19 18:36:33 +01:00
2019-10-17 23:39:31 +02:00
2019-10-15 14:24:26 +02:00
2019-10-20 17:20:20 +02:00
2019-10-20 17:20:20 +02:00
2019-11-19 19:21:47 +01:00
2019-11-05 22:13:26 +01:00
320c79cb48