Henrik Lissner 04ee1c23fd Don't set margins in left/right popups		2018-06-29 02:35:33 +02:00
..
popup.el	Don't set margins in left/right popups	2018-06-29 02:35:33 +02:00
settings.el	Major refactor of ui/popup	2018-06-23 22:18:44 +02:00