Manuel Genovés 7e34e9cc62 Merge branch 'master'		2019-05-12 21:24:30 +02:00
..
About.ui	v2.1.5	2019-03-23 00:47:26 +01:00
Export.ui	Remove ODT as default export option	2019-04-15 02:50:28 +01:00
Menu.ui	Add input format setting	2019-04-15 02:50:28 +01:00
Preferences.ui	Allow disabling scroll sync	2019-05-04 16:33:09 +01:00
Preview.ui	Improve full-width preview workflow	2019-05-04 16:33:09 +01:00
Recents.ui	even with master	2019-05-04 21:15:24 +02:00
Shortcuts.ui	Fix and improve shortcuts	2019-04-06 20:32:48 +02:00
Window.ui	Remove unused vadjustment property	2019-05-04 16:33:09 +01:00