corfu.git, branch variable-width Unnamed repository; edit this file 'description' to name the repository. Variable width alignment 2021-11-10T21:59:43+00:00 Daniel Mendler mail@daniel-mendler.de 2021-11-10T21:53:57+00:00 5ed43d0b560ddedbbcb50e50b4e85b5e5fa32db7 Not pixels but floating point values in units of char width are used here. This is a bit simpler and probably flexible enough for our purposes. 
Not pixels but floating point values in units of char width are used here.
This is a bit simpler and probably flexible enough for our purposes.
corfu--popup-show: More robust right margin 2021-11-10T21:49:10+00:00 Daniel Mendler mail@daniel-mendler.de 2021-11-10T21:49:10+00:00 9d71246945d59015255ea7845c619ef49c14c5fe 






Add corfu-kind-formatter (#75)
2021-11-10T18:53:00+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T18:53:00+00:00

0eac0f7406b56607b1435b1bfa5eb8c50d495269












Fix right margin formatting
2021-11-10T17:31:40+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T17:31:40+00:00

33a4aac2348a5f3b035b3c6ed0c779bf11da21f5












Replace corfu-margin-width with corfu-left/right-margin-width
2021-11-10T17:26:54+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T13:56:16+00:00

2d8353c1c4ba454f24c6ce6058c388e7bad588f5












corfu--popup-show: Take width as argument
2021-11-10T12:31:10+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T12:31:10+00:00

ca297fe46eb94ed98ec48581ecb8d8ff6fe98bb9












Do not trim annotations
2021-11-10T11:47:10+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T11:47:10+00:00

cc1c4fe150cd240a502521c6ca44fdfed2eb1803












Use cl-loop
2021-11-10T11:47:00+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T11:25:26+00:00

12833c7a933390361f2ce78c9709e9db68118222












Cleanup and linting
2021-11-10T09:17:56+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T09:12:22+00:00

8aba98c044a20446a2bbe45c5927c988c300e123












Move popup by prefix width
2021-11-10T00:41:33+00:00

Daniel Mendler
mail@daniel-mendler.de

2021-11-10T00:21:15+00:00

00e402e301abc1edf7ab1a98ef439d2f552301a7