equal
deleted
inserted
replaced
3486 end |
3486 end |
3487 |
3487 |
3488 function showHedgeEditorMissionPanel() |
3488 function showHedgeEditorMissionPanel() |
3489 ShowMission ( |
3489 ShowMission ( |
3490 loc("HEDGEEDITOR"), |
3490 loc("HEDGEEDITOR"), |
3491 loc("An experimental (and buggy!) editing tool for missions and more"), |
3491 loc("An experimental editing tool for missions and more"), |
3492 loc("Manual: https://hedgewars.org/hedgeeditor") .. "|" .. |
3492 loc("Manual: https://hedgewars.org/hedgeeditor") .. "|" .. |
3493 " " .. "|" .. |
3493 " " .. "|" .. |
3494 loc("Place Girder: Girder") .. "|" .. |
3494 loc("Place Girder: Girder") .. "|" .. |
3495 loc("Place Rubber: Rubber") .. "|" .. |
3495 loc("Place Rubber: Rubber") .. "|" .. |
3496 loc("Place Gears (and more): Gear Placement Tool") .. "|" .. |
3496 loc("Place Gears (and more): Gear Placement Tool") .. "|" .. |