Yeah, sorry Karl, I was going to just use yours, but then I realized the problem with people launching from the command line. So I did something different that would work regardless of how it was launched.
Regarding patching 2.2.7-1, I suspect we will patch it to include Jacob's patch for ubuntu-local (and drop my patch that disabled global menus completely).
Yeah, sorry Karl, I was going to just use yours, but then I realized the problem with people launching from the command line. So I did something different that would work regardless of how it was launched.
Regarding patching 2.2.7-1, I suspect we will patch it to include Jacob's patch for ubuntu-local (and drop my patch that disabled global menus completely).