Sat, 09 Apr 2016 08:45:46 +0200 | Wuzzy | Write better “greeting” message for HedgeEditor | changeset | files |
Sat, 09 Apr 2016 08:29:22 +0200 | Wuzzy | HedgeEditor: Add loc() to some forgotten strings, minor cleanup | changeset | files |
Sat, 09 Apr 2016 08:19:43 +0200 | Wuzzy | HedgeEditor: Generally improve menu help texts | changeset | files |
Sat, 09 Apr 2016 08:00:53 +0200 | Wuzzy | HedgeEditor: Better naming and explanation of tagging mode and advanced repositioning mode | changeset | files |
Sat, 09 Apr 2016 07:40:15 +0200 | Wuzzy | HedgeEditor: Improve graphics on girder/rubber placement | changeset | files |
Sat, 09 Apr 2016 07:16:01 +0200 | Wuzzy | HedgeEditor: Throw away code in comments and unused variables | changeset | files |