On Wed, Apr 05, 2006 at 07:45:08PM +0200, Michael Gerz wrote:
> [EMAIL PROTECTED] wrote:
>
> >Fix mess up of internal/external paths (from Enrico Forestieri)
> > * src/frontends/qt2/QPrefs.C:
> > (internal_path_list, external_path_list): Handle the PATH prefix
> > style according to t
On Wed, Apr 05, 2006 at 07:45:08PM +0200, Michael Gerz wrote:
> [EMAIL PROTECTED] wrote:
>
> >Fix mess up of internal/external paths (from Enrico Forestieri)
> > * src/frontends/qt2/QPrefs.C:
> > (internal_path_list, external_path_list): Handle the PATH prefix
> > style according to th
[EMAIL PROTECTED] wrote:
Fix mess up of internal/external paths (from Enrico Forestieri)
* src/frontends/qt2/QPrefs.C:
(internal_path_list, external_path_list): Handle the PATH prefix
style according to the user-prefs style.
(QPrefs::apply, QPrefs::update_contents