Account Options

  1. Sign in
The old Google Groups will be going away soon.
Switch to the new Google Groups.
Google Groups Home
« Groups Home
DefaultOptions
There are currently too many topics in this group that display first. To make this topic appear first, remove this option from another topic.
There was an error processing your request. Please try again.
flag
  4 messages - Collapse all  -  Translate all to Translated (View all originals)
The group you are posting to is a Usenet group. Messages posted to this group will make your email address visible to anyone on the Internet.
Your reply message has not been sent.
Your post was successful
 
From:
To:
Cc:
Followup To:
Add Cc | Add Followup-to | Edit Subject
Subject:
Validation:
For verification purposes please type the characters you see in the picture below or the numbers you hear by clicking the accessibility icon. Listen and type the numbers you hear
 
FND  
View profile  
 More options Feb 19 2008, 7:05 am
From: FND <F...@gmx.net>
Date: Tue, 19 Feb 2008 13:05:43 +0100
Local: Tues, Feb 19 2008 7:05 am
Subject: DefaultOptions
Hello all,

Martin's recent ticket (#482) on creating a DefaultTheme tiddler
reminded me of the discussion around centralized date formats (#361):
     http://trac.tiddlywiki.org/ticket/482
     http://trac.tiddlywiki.org/ticket/361

That discussion lead to considerations for a general configuration
tiddler to specify default options:
     http://tinyurl.com/32quak
(http://groups.google.com/group/TiddlyWikiDev/browse_thread/thread/2fe...)

Since we'll need the default theme setting for the next release, now's
the time to do this right.
My concern is that introducing [[DefaultTheme]] now would need to be
changed again in one of the next releases.
So how about we introduce [[DefaultOptions]] instead - even if for now
it only contains a single slice ("DefaultTheme")?

Aside: This config tiddler might also specify the desired title for
DefaultTiddlers (cf. #362; http://trac.tiddlywiki.org/ticket/362).

Thoughts?

-- F.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
FND  
View profile  
 More options Feb 19 2008, 8:47 am
From: FND <F...@gmx.net>
Date: Tue, 19 Feb 2008 14:47:23 +0100
Local: Tues, Feb 19 2008 8:47 am
Subject: Re: [twdev] DefaultOptions

> Martin's recent ticket (#482) on creating a DefaultTheme tiddler
> reminded me of the discussion around centralized date formats (#361)

Saq has just informed me that I have misunderstood Martin intentions;
DefaultTheme isn't supposed to be a reference to a systemTheme tiddler,
but it's a systemTheme tiddler itself, containing the standard
TiddlyWiki theme. I had understood "default" similar to
[[DefaultTiddlers]] - that is, "load this by default on startup".

However, what if there's another systemTheme tiddler, and the user wants
to use one that on startup - does he have to override the DefaultTheme
shadow tiddler then?
I think it would make more sense to make DefaultTheme a reference to any
systemTheme tiddler, using a name like [[StandardTheme]],
[[TiddlyWikiTheme]] or [[ClassicTheme]].

-- F.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
Martin Budden  
View profile  
 More options Feb 19 2008, 10:15 am
From: "Martin Budden" <mjbud...@gmail.com>
Date: Tue, 19 Feb 2008 15:15:49 +0000
Local: Tues, Feb 19 2008 10:15 am
Subject: Re: [twdev] Re: DefaultOptions
Saq is correct, the DefaultTheme is a theme, not a reference to a
theme. If it was made a reference to a theme, then yet another shadow
tiddler (eg StandardTheme) would have to be added for DefaultTheme to
reference.

If the user wants to use a different theme on startup, they can set
config.options.txtTheme

Martin

On 19/02/2008, FND <F...@gmx.net> wrote:


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
FND  
View profile  
 More options Feb 19 2008, 10:53 am
From: FND <F...@gmx.net>
Date: Tue, 19 Feb 2008 16:53:19 +0100
Local: Tues, Feb 19 2008 10:53 am
Subject: Re: [twdev] Re: DefaultOptions

> If the user wants to use a different theme on startup, they can set
> config.options.txtTheme

Alright, that makes sense then.
(I wish I could delete those obsolete comments on Trac now... )

I'll see whether the date formats issue can be solved in a similar way.

-- F.


 
You must Sign in before you can post messages.
To post a message you must first join this group.
Please update your nickname on the subscription settings page before posting.
You do not have the permission required to post.
End of messages
« Back to Discussions « Newer topic     Older topic »