No. My previous solution doesn't work in all circumstances.
The problem is more complex and involves the javascript code.
Il giorno lunedì 15 aprile 2013 00:35:19 UTC+2, Paolo Caruccio ha scritto:
>
> A possible solution in order to hide the small vertical scrollbar
> displayed when the page is loaded:
>
> in applications/admin/static/codemirror/lib/codemirror.css
>
> please change line 13 from height: 300px; to height: auto;
>
> the css rule after the change will be:
>
> .CodeMirror-scroll {
> overflow: auto;
> height: auto; /*300px;*/
> /* This is needed to prevent an IE[67] bug where the scrolled content
> is visible outside of the scrolling box. */
> position: relative;
> outline: none;
> }
>
>
>
>
> Il giorno sabato 13 aprile 2013 21:04:25 UTC+2, Niphlod ha scritto:
>>
>> ok, long version ^__^
>> there are 2 separate problems:
>>
>> 1.
>> every time the admin page is updated (i.e. new css, new structure, etc)
>> it is possible (and happened already) that your browser has the old version
>> of these assets in cache, so things are working "weirdly".
>> If you trigger the full-reload with ctrl+f5, the browser requests the
>> full page and discard the cached elements --> it reloads the admin app "the
>> way it should be".
>> Now, if you observe that the behaviour of a particular page of the admin
>> app is "sometimes a, sometimes b", ctrl+f5 should fix it and the page will
>> behave consistently (i.e. always "a" or always "b")
>>
>> 2.
>> If a full-reload didn't fix the consistent (after ctrl+f5) behaviour of
>> showing a scrollbar, then it's a problem "of the structure of admin",
>> meaning either the markup and/or css and/or js is doing something that
>> shouldn't happen.
>>
>> Just to confirm, I can observe that behaviour too (scrollbar is there, as
>> soon as I click it goes away) but I didn't ever noticed it ^__^
>>
>
--
---
You received this message because you are subscribed to the Google Groups
"web2py-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
