 Joscha Jaeger
|
6f22fa3574
ui fixes
|
10 years ago |
|
Joscha Jaeger
|
6121b8c5f0
fix glueIt for mac
|
10 years ago |
|
Michael
|
58da76e426
Joscha 2014-09-24 and half-way of the history
|
10 years ago |
|
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 |
