On Fri, May 9, 2025 at 7:54 AM Tony Mechelynck
<antoine.mechely...@gmail.com> wrote:
>
> Since a few days, while sourcing the following session file:
>
> " Vim session file
> " This one was not generated by :mksession.
>
> " e ~/.mozilla/seamonkey/eiox68r9.default/user.js
> e ~/.mozilla/seamonkey/r0hh40it.frg-2018+/user.js
> lcd %:h
> new chrome/userChrome.css
> lcd %:h
> new userContent.css
> new
> setl buftype=nofile
> new ~/pub/chroniq/froiss/F4_021.htm
> lcd %:h
> new ~/Session.vim
> lcd ~
> new ~/calendrier.2024.1112.txt
> lcd ~
> bot h
> if exists('+switchbuf')
> set swb=useopen
> endif
> wincmd W
>
> I get error "E36 Not enough room" at line 7, but the error is not
> visible because the GUI opens with just enough width and height for
> the menu. If I don't maximize the window manually I get it again at
> line 9 etc. (i.e. every ":new" command with file name). My vimrc
> includes (among others) an autocommand "au GUIEnter * set lines=99
> colums=999" in order to start the GUI maximized. This is a Huge build
> with GTK3 GUI and no interpreted languages (i.e. no perl, no python,
> no mzscheme, etc.).
>
> I didn't report this problem immediately (I should have) but it is not
> long ago (a few days) that it started appearing.
>
> Best regards,
> Tony.
P.S. The problem disappears if I add the following line between lines
6 and 7 above:
set lines=99 columns=999 " to work around a GUI bug
and gvim then loads again the files which were omitted because of the
E36 "errors".
Best regards,
Tony.
--
--
You received this message from the "vim_dev" maillist.
Do not top-post! Type your reply below the text you are replying to.
For more information, visit http://www.vim.org/maillist.php
---
You received this message because you are subscribed to the Google Groups
"vim_dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to vim_dev+unsubscr...@googlegroups.com.
To view this discussion visit
https://groups.google.com/d/msgid/vim_dev/CAJkCKXvB2AKfwyAQtYLr5Pfi_sNxBOVp0N0%3D3-cUmkX4Sx%2BzLQ%40mail.gmail.com.
