7 Commits

Author	SHA1	Message	Date
Vishesh Handa	a8de212430	Port most of the editors to null safety	2021-05-25 12:39:35 +02:00
Vishesh Handa	ee2f0e85aa	Editors: Remove the padding ... This is weird. In some themes there in an internal padding, and in some themes, there in none. I didn't think themes would affect this. Also isDense and isCollapsed work in strange ways. I wish this was properly documented. I basically want to remove the left padding, and insert a normal top and bottom padding. Is that too much to ask?	2021-05-06 15:15:52 +02:00
Vishesh Handa	d40c1992cc	Editors: Remove hover color change	2021-05-06 15:15:52 +02:00
Vishesh Handa	3d07328aab	Editors: Set background color ... With Flutter 2, the way the theme has set has changed, so I'm slowly migrating to Flex Color Scheme, and fixing all the widgets that look strange.	2021-05-06 15:15:52 +02:00
Vishesh Handa	d008f0d982	First version of dart migrate ... Most of the files haven't been migrated. Lets work on this bit by bit	2021-04-10 22:18:35 +02:00
Vishesh Handa	e6e0e08fe4	Mark more strings as translatable	2020-08-10 12:16:03 +02:00
Vishesh Handa	15b978cacb	Editors: Remove code duplication	2020-07-28 15:37:31 +02:00