Wed, 26 Sep 2018 14:15:22 +0300 |
Andrey Skvortsov |
use the same font size on Windows and GNU/Linux
|
changeset |
files
|
Wed, 26 Sep 2018 12:13:23 +0300 |
Andrey Skvortsov |
use nice and pretty mono font in graphical languages (SFC, FBD, LD) as well
|
changeset |
files
|
Tue, 25 Sep 2018 19:00:03 +0300 |
Andrey Skvortsov |
Don't need to call extra _init_
|
changeset |
files
|
Tue, 25 Sep 2018 18:31:17 +0300 |
Andrey Skvortsov |
Fix black background in preview window
|
changeset |
files
|
Tue, 25 Sep 2018 18:29:10 +0300 |
Andrey Skvortsov |
Avoid division by zero in case width or height for page are not specified
|
changeset |
files
|
Wed, 21 Nov 2018 14:10:51 +0100 |
Edouard Tisserant |
IDManager: added import/export plus little cosmetic enhancements.
|
changeset |
files
|
Tue, 20 Nov 2018 11:32:42 +0100 |
Edouard Tisserant |
IDManager : refactored a bit, moved some code into PSKManagement.py. Now captures URI and PSK on new PYRO(S) and propose them when editing URI. Import/export still to be implemented.
|
changeset |
files
|
Mon, 19 Nov 2018 10:39:50 +0100 |
Edouard Tisserant |
Renaming servicetype into scheme.
|
changeset |
files
|
Fri, 16 Nov 2018 14:04:51 +0100 |
Edouard Tisserant |
Added toolbar button to launch ID Manager dialog.
|
changeset |
files
|
Fri, 16 Nov 2018 10:00:06 +0100 |
Edouard Tisserant |
Renamed IDManager control into IDBrowser, because dialog will be named IDManager
|
changeset |
files
|
Wed, 14 Nov 2018 14:09:18 +0100 |
Edouard Tisserant |
IDManager.py : finished selector mode.
|
changeset |
files
|
Wed, 14 Nov 2018 11:32:08 +0100 |
Edouard Tisserant |
Added early implementation of IDManager.py. For now only used to select ID in URIEditor
|
changeset |
files
|
Fri, 09 Nov 2018 13:26:06 +0100 |
Edouard Tisserant |
Path may contain spaces... sequel of d1359cb
|
changeset |
files
|
Thu, 08 Nov 2018 14:33:35 +0100 |
Edouard Tisserant |
'Merged' URI editor dialog and Discovery dialog, also clean up related code
|
changeset |
files
|
Thu, 08 Nov 2018 11:20:35 +0100 |
Edouard Tisserant |
Cut more useless code from URI Editor
|
changeset |
files
|
Thu, 08 Nov 2018 11:14:06 +0100 |
Edouard Tisserant |
URI Editor Dialog : moved it to /dialog, and fixed naming.
|
changeset |
files
|