FilesExpand file tree

main

/

leaninfo.lua

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

46 lines (44 loc) · 1.87 KB

main

/

leaninfo.lua

Copy path

Top

File metadata and controls

• Code
• Blame

46 lines (44 loc) · 1.87 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

vim.bo.buflisted = false -- because we don't use nvim_create_buf (yet?)

vim.bo.modifiable = false

vim.bo.undolevels = -1

vim.wo.cursorline = false

vim.wo.cursorcolumn = false

vim.wo.colorcolumn = ''

vim.wo.number = false

vim.wo.relativenumber = false

vim.wo.spell = false

vim.wo.foldmethod = 'manual'

vim.wo.winfixheight = true

vim.wo.winfixwidth = true

vim.wo.wrap = true

vim.wo.linebreak = true

-- Break only at space or some places likely to be the body of a thing.

-- In particular don't break at `.`.

-- Note that `breakat` is a global option so we need local,

-- and that it doesn't support unicode (neovim#13967) so things like `↦→`

-- are unfortnately off-limits.

vim.opt_local.breakat = ' \t,='

vim.wo.breakindent = true

vim.wo.breakindentopt = 'shift:2'

if vim.fn.exists '&winfixbuf' ~= 0 then

local window = vim.api.nvim_get_current_win()

-- FIXME: This is obviously ridiculous, but there's seemingly some neovim bug

-- here which needs minimizing.

-- The symptoms are that when opening a stacked (vertical) infoview

-- -- and only when opening a vertical one -- we were opening *2*

-- identically named windows (lean://.../curr)

-- The line which triggers this behavior is the line which sets

-- filetype = leaninfo, i.e. which triggers this file to run, and

-- specifically the line which triggers it is this one.

-- So something is going wrong where winfixbuf cannot run that early

-- on in a window being set up, even though we do not change the

-- infoview buffer anytime after that filetype line.

-- Somehow vim.schedule delays things long enough that they work

-- correctly, including winfixbuf getting set.

-- We'll minimize. Some day.

vim.schedule(function()

if vim.api.nvim_win_is_valid(window) then

vim.wo[window].winfixbuf = true

end

end)

end