My vote is the "prominent place" option even though I admit it does detract somewhat from a clean aesthetic. But I
think it's worth it. By having it in a prominent location, the most direct effect is that it will be easier to find. I don't
think that matters as much for developers, most of whom
I like the way you put it in the menu. The name „External“ is really a bit
confusing, but at the moment I don’t have a better idea.
Cheers,
Fred
> Am 16.02.2024 um 15:38 schrieb Riccardo Mottola :
>
> Hi,
>
> I want to uniform the bug reporting on our website.
> Originally, we had a single
Hi,
I want to uniform the bug reporting on our website.
Originally, we had a single page on savannah for all projects. I found
this better than the current situation of github, were every sub-project
has its own issue tracker. This makes reclassifying a bug impossible and
also confuse
> On 16 Feb 2024, at 11:05, Sergei Golovin via Discussion list for the GNUstep
> programming environment wrote:
>
> By the way it is strange that Gorm was installed in the
> SYSTEM_DOMAIN. My installation goes into
> <...>/Local/Applications/Gorm.app (that is LOCAL_DOMAIN).
If this is the
Edwin Ancaer writes:
> Sergei,
>
> I have been booking at the defaults, but I find them in different places.
> There is set of decent looking defaults file Defaults.plist at
> /usr/local/GNUstep/System/Applications/Gorm.app/Resources. They are in
> the attached file.
It is shipped with Gorm