f9769c11f2
default font and font description
...
* Use interface font as default font
* Work with a `Pango.FontDescription` instead of separate font properties.
2020-09-05 00:03:05 +02:00
c1689cac75
rework prefs, settings, locales
...
Although there is a lot of changes, nothing is important.
2020-09-02 16:16:23 +02:00
6a8afcc20a
use timestamps instead of Math.random in elementGrabber
2020-08-31 14:06:47 +02:00
89067a8dd9
use an Extension class
2020-08-31 13:05:41 +02:00
a128664921
minor, add 'exported' directive for linters
2020-08-31 11:05:33 +02:00
b3a1a77160
replace user stylesheet with proper drawing settings
...
Since the most drawing params can be changed via menu or shortcuts, remove default.css and user.css.
* Missing params like palettes, dash, grid, etc, are added to prefs.
* Add palette choice to menu and shortcuts.
* Some defaults like fonts, line width, etc, are no longer modifiable by the user.
2020-08-31 09:43:00 +02:00
01701538bb
minor, rework settings
2020-08-23 11:49:26 +02:00
a1ce4aaf79
Add font family reversed switching
2020-08-06 00:26:10 +02:00
39ec1ba888
toggle -> switch
2020-08-06 00:06:01 +02:00
c78f5e82da
Extend font family possibilities
...
To fix in the future: memory usage of font-styled item labels
2020-08-05 23:30:25 +02:00
80e2955f8c
fix menu item name and sensitivity stynchronization
2020-08-05 02:49:52 +02:00
11b90ecc0a
put json file stuff in files.js
...
In the same way than image files.
2020-08-05 02:01:17 +02:00
1172e9da6f
new image shape
...
Images files are picked from `~/DrawOnYourScreen/images/` (and `extensiondir/images/`)
svg, png, jpeg, ...(pixbuf)
2020-08-01 14:08:17 +02:00
352f86018b
center grid overlay
2020-07-11 22:42:48 +02:00
813d6b0f1b
Show the textEntry when ibusCandidatePopup is visible
2020-07-11 15:59:08 +02:00
e8140eae88
Text elements as a separated class
2020-07-08 11:47:51 +02:00
96efac1e3f
draw.js -> area.js
2020-07-04 08:42:45 +02:00
abakkk