| Tue, 24 May 2016 10:41:07 +0200 |
Raimund Renkert |
merged.
|
| Tue, 24 May 2016 10:40:23 +0200 |
Raimund Renkert |
Allow Netzbetreiber widget to be not editable.
|
| Tue, 24 May 2016 10:39:43 +0200 |
Raimund Renkert |
Fixed selecting item on undefined attribute.
|
| Mon, 23 May 2016 17:50:47 +0200 |
Tom Gottfried |
Restrict range of values to two-digit exponent and format it nicely.
|
| Mon, 23 May 2016 17:07:50 +0200 |
Raimund Renkert |
merged.
|
| Mon, 23 May 2016 17:07:15 +0200 |
Raimund Renkert |
Do not expand child grids on double click.
|
| Mon, 23 May 2016 17:06:42 +0200 |
Raimund Renkert |
Use correct parent window reference for messung windows.
|
| Mon, 23 May 2016 16:00:50 +0200 |
Tom Gottfried |
Exponential notation without tampering numbers.
|
