On 2013-03-19, at 09:50, Sven Van Caekenberghe <[email protected]> wrote:
> > On 19 Mar 2013, at 09:23, Camillo Bruni <[email protected]> wrote: > >> still some bugs left, especially with selectors with "strange" characters >> such as $: ;): >> >> http://pharo.gforge.inria.fr/doc/1.4/ >> http://pharo.gforge.inria.fr/doc/2.0/ >> >> Once the configuration for seaside is released I can update the config of >> webdoc to load everything under 2.0. Currently it will fail due to the >> dependency to seaside. > > It is getting better all the time. > > But I still see a lot of 404's all over - unless every selector with a $: > fails of course. every selector does :), I just have to double urlencode the selectors in the javascript that's all, but well it has to be done :P > I am also wondering whether the popups/flyovers are a good idea. yeah I will introduce a delay ~500ms - 1s so they don't disturb you when you move the cursor over the sources.
