[prev in list] [next in list] [prev in thread] [next in thread]
List: kstars-devel
Subject: Re: KStars v3.5.0 Release Date?
From: Robert Lancaster <rlancaste () gmail ! com>
Date: 2020-11-13 12:27:03
Message-ID: 621349D8-9E22-4B5C-B7C9-2CA7F31EB343 () gmail ! com
[Download RAW message or body]
" It's just that there should be an easy way to "reset" profiles"
There is a button in the profile editor interface that will reset the entire set to the current default \
profiles, but it won't overwrite your saved profiles until you hit apply or ok.
Is this what you mean ? Or do you mean reset each individual profile to its default values? If you mean \
that, there would need to be a way to identify that the given profile IS one of the original defaults and \
which one it is. And what if it is a copy of the original that you changed, is that now independent of \
the default profile or is it still linked?
Sent from my iPhone
> On Nov 13, 2020, at 6:38 AM, Eric Dejouhanet <eric.dejouhanet@gmail.com> wrote:
>
> It's just that there should be an easy way to "reset" profiles
[Attachment #3 (text/html)]
<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body \
dir="auto">"<span style="-webkit-text-size-adjust: auto; caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); \
font-size: medium; background-color: rgb(255, 255, 255);"> It's just that there should be an easy \
way to "reset" profiles"</span><div><font color="#000000" size="3"><span style="caret-color: rgb(0, 0, \
0); -webkit-text-size-adjust: auto; background-color: rgb(255, 255, \
255);"><br></span></font></div><div><font color="#000000" size="3"><span style="caret-color: rgb(0, 0, \
0); -webkit-text-size-adjust: auto; background-color: rgb(255, 255, 255);">There is a button in the \
profile editor interface that will reset the entire set to the current default profiles, but it won't \
overwrite your saved profiles until you hit apply or ok.</span></font></div><div><font color="#000000" \
size="3"><span style="caret-color: rgb(0, 0, 0); -webkit-text-size-adjust: auto; background-color: \
rgb(255, 255, 255);"><br></span></font></div><div><font color="#000000" size="3"><span \
style="caret-color: rgb(0, 0, 0); -webkit-text-size-adjust: auto; background-color: rgb(255, 255, \
255);">Is this what you mean ? Or do you mean reset each individual profile to its default values? \
If you mean that, there would need to be a way to identify that the given profile IS one of the \
original defaults and which one it is. And what if it is a copy of the original that you changed, \
is that now independent of the default profile or is it still linked?<br></span></font><br><div \
dir="ltr">Sent from my iPhone</div><div dir="ltr"><br><blockquote type="cite">On Nov 13, 2020, at 6:38 \
AM, Eric Dejouhanet <eric.dejouhanet@gmail.com> wrote:<br><br></blockquote></div><blockquote \
type="cite"><div dir="ltr">It's just that there should be an easy way to "reset" \
profiles</div></blockquote></div></body></html>
[prev in list] [next in list] [prev in thread] [next in thread]
Configure |
About |
News |
Add a list |
Sponsored by KoreLogic