1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
%% -*- mode:erlang; erlang-indent-level: 2 -*-
{wpc_intersect_edge,
[
{intersect,
[
{1,"Ausgewhlte Kanten drfen keinen gemeinsamen Knoten haben"}
]},
{intersect_edges,
[
{1,"Linie und Ebene sind annhernd parallel:\nKein Schnittpunkt gefunden."}
]},
{intl_vec,
[
{1,"vorherige Achse"},
{2,"Standardachse"}
]},
{menu_item,
[
{1,"Schneiden"}
]},
{standard_plane_fun,
[
{1,"Kante schneidet Ebene durch die"},
{2,"Kante schneidet"},
{3,"Ebene"},
{4,"Punkt in Ebene whlen"}
]},
{submenu,
[
{1,"Standardebenen schneiden"},
{2,"Ebene und Referenzpunkt auf Ebene whlen"},
{3,"Ebene whlen"},
{4,"Achse senkrecht zur Ebene whlen"},
{5,"Punkt auf der Ebene whlen"},
{6,"Achse senkrecht zur Ebene whlen (Ebene geht durch den Achsenursprung)"}
]}
]}.
|
