7 Oct 16:45
Decoration inheritance
From: Gaetan de Menten <gdementen <at> gmail.com>
Subject: Decoration inheritance
Newsgroups: gmane.comp.lang.javascript.qooxdoo.devel
Date: 2008-10-07 14:47:49 GMT
Subject: Decoration inheritance
Newsgroups: gmane.comp.lang.javascript.qooxdoo.devel
Date: 2008-10-07 14:47:49 GMT
Hi again, I see there is a lot of repetition in decorations. For example, the "input-focused" and "input-disabled" decorations only differ from the "input" decoration for a few keys each. It would certainly make decorations declarations shorter to have some kind of inheritance system in place. Does something like this already exist for decorations? If so, why isn't it used? Is it a run-time lookup (which would slow things down obviously but make the JS files shorter to download), or is it a compile-time expansion? Is such a system planned? -- -- Gaëtan de Menten http://openhex.org ------------------------------------------------------------------------- This SF.Net email is sponsored by the Moblin Your Move Developer's challenge Build the coolest Linux based applications with Moblin SDK & win great prizes Grand prize is a trip for two to an Open Source event anywhere in the world http://moblin-contest.org/redirect.php?banner_id=100&url=/
Discussion is
about intra-theme inheritance, which is intentionally not supported to
not add complexity. Of course, inter-theme inheritance is possible, and
used for creating custom themes.
Regarding the feature you mention, in outdated versions of qooxdoo it
indeed wasn't possible to change the font size (or other themable
properties) say of the main document, with those values being
propagated/inherited to the widgets in the hierarchy below. This
limitation has long been gone, it must have been introduced around 0.7
with themable properties being inheritable.
The feature one could add is auto-detection of browser font changes
during runtime. A timer could possibly poll for such changes (AFAIK
there are no native events to detect this?) and force a GUI update. IIRC
RSS Feed