4 commits

Author	SHA1	Message	Date
Erevos	41a9107c45	Theme edits (#342) ... * Theme edits Changed all the themes to be more consistent, buttons and panel containers have rounded edges. Note that the spacings have been switched too, so it needs subtle remakes in the placing of each element. Especially the tool buttons. Also check the themes on preferences (need better spacing) and rulers are not included. * Some UI fixes * Reduced size of themes * Fixed more spacing issues and replaced timeline grabber icon * Removed old theme icons * Change purple and light rulers * Fix purple top menu & caramel rulers Co-authored-by: Erevoid <Erevoid@users.noreply.github.com> Co-authored-by: OverloadedOrama <35376950+OverloadedOrama@users.noreply.github.com>	2020-09-29 18:00:43 +03:00
OverloadedOrama	10b082434b	Removed brush_button.png - May solve #339	2020-09-27 20:35:46 +03:00
OverloadedOrama	fe757b3393	Change the max value of the brush size slider to 25 ... The spinbox can still go up to 100px size.	2020-08-23 18:14:30 +03:00
Kinwailo	4a668f71f5	Refactoring tools (#281) ... * Refactoring tools * Remove unused code * Fixed some inferring errors and added translations * Attempt to fix some Script Errors found in the CI workflow * Fix bucket crash. * Fix static type convert. Co-authored-by: OverloadedOrama <35376950+OverloadedOrama@users.noreply.github.com>	2020-07-09 15:22:17 +03:00