separate information from variable value for window goal_column

2024-10-09 Thread Patrice Dumas
Hello, Here is a patch that I would like to propose, but it could be controversial so I prefer to ask here first. This is in info code, currently window->goal_column is set to -1 to mean that the column to place the cursor in when moving it up is the column it is currently in. I propose in the p

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-09 Thread Patrice Dumas
On Tue, Oct 08, 2024 at 09:11:00PM +0100, Gavin Smith wrote: > > I've committed the change. > > One command that removes all untracked header files is: > > git status -u | grep '\.h$' | xargs rm This is somewhat dangerous, though, as it removes .h in out of source build directories, and if ther

Re: [Gawk manual] Several empty list items in the HTML version

2024-10-09 Thread Gavin Smith
On Tue, Oct 08, 2024 at 10:11:24PM +0200, Alexandre Ferrieux wrote: > Hi, > > On 08/10/2024 21:55, Gavin Smith wrote: > > > > Yes the locale.h file (generated from locale.in.h) should not exist > > on release/7.1. locale.in.h is tracked in git but locale.h is not so > > is not removed by "git swi