When I press the pull down key, Tilda shows up fullscreen, but the column width in characters is significantly less (which shows well in vim or man.) It's not the size of my window, I set the dimensions to 100%x100% to check. I believe it's actually 80 characters or close to it. Then it redraws with the right width a split second later.
If I <alt+tab> away from Tilda, then pull it down, it behaves correctly, or at least the way I'm used to. (Actually, when I <alt+tab> to a restored window I can see Tilda below it, I'm not sure if that's normal.) This makes me think maybe hiding the window prompts Tilda to switch to a smaller width to improve performance (the processes are still running, but aesthetic things like syntax highlighting will be cut back.) Then when the key is pressed again, the size is changed and the fullscreen window draws immediately, but it takes a moment for the editor/pager to update.
If I'm right, personally I'd rather wait that split second than see all my content jump around every time I pull down the terminal.
I tried first with tmux -2, then just zsh, then bash as my command, all the same. I'm Tilda 1.5.2 on Ubuntu 20.04.
When I press the pull down key, Tilda shows up fullscreen, but the column width in characters is significantly less (which shows well in
vim
orman
.) It's not the size of my window, I set the dimensions to 100%x100% to check. I believe it's actually 80 characters or close to it. Then it redraws with the right width a split second later.If I
<alt+tab>
away from Tilda, then pull it down, it behaves correctly, or at least the way I'm used to. (Actually, when I<alt+tab>
to a restored window I can see Tilda below it, I'm not sure if that's normal.) This makes me think maybe hiding the window prompts Tilda to switch to a smaller width to improve performance (the processes are still running, but aesthetic things like syntax highlighting will be cut back.) Then when the key is pressed again, the size is changed and the fullscreen window draws immediately, but it takes a moment for the editor/pager to update.If I'm right, personally I'd rather wait that split second than see all my content jump around every time I pull down the terminal.
I tried first with
tmux -2
, then justzsh
, thenbash
as my command, all the same. I'm Tilda 1.5.2 on Ubuntu 20.04.