 Michael
|
f9e535b050
adapted DocumentMenu to new layout
|
10 years ago |
|
Michael
|
7e43f098dc
better indication for dragging out of page bounds
|
10 years ago |
|
Michael
|
c82cb59070
clipboard: paste text as TextElement
|
10 years ago |
|
Michael
|
f5c899d88e
does not paste the group-attribute
|
10 years ago |
|
Michael
|
40f6d13b44
CreationMenu appearance
|
10 years ago |
|
Michael
|
247142fdf8
DocumentMenu now static toolbar
|
10 years ago |
|
Michael
|
81c4f14ddc
ui redesign (Joscha)
|
10 years ago |
|
Michael
|
b0ed041615
Clipboard data validation; Crosshair cursor
|
10 years ago |
|
Michael
|
8c86b25c46
clipboard access added
|
10 years ago |
|
Michael
|
6885767aa7
file format
|
10 years ago |
|
Michael
|
227d4f2324
initial commit
|
10 years ago |
