wmayer
|
5163c1a2f4
|
Surface: fix -Wclazy-connect-by-name
|
2023-04-05 00:44:13 +02:00 |
|
wmayer
|
6d535f834d
|
Surface: use a single button group for all task boxes
|
2022-12-20 19:17:10 +01:00 |
|
wmayer
|
e8cba4dda9
|
Surface: add external enumerators
|
2022-12-20 19:17:10 +01:00 |
|
wmayer
|
c8dd58fc20
|
Surface: remove unneeded includes
|
2022-12-20 16:22:59 +01:00 |
|
Ajinkya Dahale
|
f0f72d9ce3
|
[Surface] Allow modal adding/removal of geometric entities
|
2022-12-20 15:42:46 +01:00 |
|
Uwe
|
58d8b36dfd
|
[Surface] Gui:: remove unused includes
- also some sorting
|
2022-12-08 01:32:38 +01:00 |
|
berniev
|
ddafb98813
|
Mod: Use override etc 2
|
2022-08-09 12:52:26 +02:00 |
|
berniev
|
da9ebc572f
|
Mod: redundant void 2
|
2022-08-08 10:27:50 +02:00 |
|
luz paz
|
d84071275a
|
Surface: Fix header uniformity, whitespace, and doxygen header
|
2020-11-19 13:41:43 +01:00 |
|
wmayer
|
255ef44c93
|
Surface: rename TaskFillingUnbound to TaskFillingEdge
|
2020-10-13 16:23:58 +02:00 |
|