Roberto Cipollone comments

Results 8 comments of


                                            Roberto Cipollone

The extension stopped work after updating it

Same issue on Debian buster, Gnome Shell 3.30.2. To solve, I've downgraded to extension version 20 manually.

smbios-battery-ctl can't change settings when a admin password is set

Same output on a Dell XPS 9500, Debian.

Neovim: Skipping text check as LTeX has been disabled for files with code language ID 'tex' via ltex.enabled

Same issue. nvim v0.7.2 ltex-ls 16.0.0 JAVA binary and paths correctly set by the ltex-ls script to the release directory This does not happen with: vim 9.0 coc.nvim ltex-ls I...

Neovim: Skipping text check as LTeX has been disabled for files with code language ID 'tex' via ltex.enabled

Solved by setting filetype from plaintex to tex. Also solved by writing `let g:tex_flavor = "latex"` in ftplugin/tex.vim

Missing Last, End special symbols in LTLf.

`LTLfLast` is now suppoted: #21. We can leave this issue open, if we desire an `LTLfEnd` in the future.

Forbid uppercased propositions in LDLf

Yes, this was the intended behaviour. The naming convention for all atomics is: https://github.com/whitemech/flloat/blob/75e8ec9219763eba5feb362438604693b6cc7346/flloat/base.py#L33-L41 This is inherited by `PLAtomic` and `LDLfPropositionalAtom`. Instead, `LTLfAtomic` overrides the regex to forbid uppercase letters...

In single monitor, only presenter or presentation becomes fullscreen

I just noticed #709 .. I'll try to use that workaround and share a window

In single monitor, only presenter or presentation becomes fullscreen

I'm reopening because sharing the window shows the top border, and executing `pdfpc -w presenter main.pdf` shows the presenter window but the presentation is not shown at all