Fehler in Fehlermeldung

[flizebogen]

Mir ist neulich aufgefallen, dass die Fehlermeldung in einer bestimmten Konstellation nicht stimmt.

Zuerst mein Setup:

Windows 7 Pro

Installation unter C:\Program Files (x86)\Totalcmd

wincmd.ini Einstellungen:

[Configuration]
UseIniInProgramDir=1
AlternateUserIni=%APPDATA%\totalcmd\wincmd.ini

[AllResolutions]
RedirectSection=0

Wenn ich als Benutzer mit eingeschränkten Rechten in den Einstellungen die Schriften ändern möchte, erhalte ich folgende Meldung:

---------------------------
<Fehler!>
---------------------------
Fehler: Kann C:\Users\<Benutzername>\AppData\Roaming\totalcmd\wincmd.ini
nicht schreiben!

Entfernen Sie den eventuell
vorhandenen Schreibschutz!
---------------------------
OK
---------------------------

Da die Schriften in dem Bereich AllResolutions definiert werden, und ich die Umleitung auf INI Datei im Benutzerprofil für diesen Bereich deaktiviert habe, kann ein "normaler" Benutzer die Einstellung so nie ändern. Das ist für diesen Bereich auch beabsichtigt. In der Meldung wird aber auf die falsche INI Datei verwiesen.

Vielleicht wäre es ja möglich dem Benutzer im Einstellungsfenster anzuzeigen, welche Einstellungen wegen Schreibrechten auf die entsprechende INI Datei geändert werden können, und welche nicht.

[ghisler(Author)]

Das Problem ist bekannt, doch leider lässt sich am Ort der Fehlermeldung leider nicht mehr feststellen, welche ini-Datei betroffen war, sorry.