Thanks for reply. I am using pyjd included in pyjs package whose version
number is 0.8.1~+alpha1. I am running on MS Windows. Is the hulahope
engine available for MS Windows?
I found a way to go around for window resize. But it is MS Windows
specific. And it looks ugly because it shows the resizing process after the
window is displayed:
pyjd.windows.MoveWindow(pyjd.mshtml.wv.hwnd, rect.left, rect.top,
WINDOW_WIDTH, WINDOW_HEIGHT, True)
I am still looking for a cross-flatform solution for determining the
initial window size rather than resizing window after the window was
already displayed to a user.
Thanks again.
On Thursday, September 12, 2013 1:24:15 AM UTC+9, Kees Bos wrote:
>
> OK. I had a look. It works for me (I tested option 1). I'm (still) using
> the hulahop engine.
>
>
> On Thu, Sep 5, 2013 at 9:11 AM, Kees Bos <[email protected]<javascript:>
> > wrote:
>
>>
>> On Sep 2, 2013 4:54 PM, "Clavier" <[email protected] <javascript:>>
>> wrote:
>> >
>> > Hi.
>> >
>> > I want to set the initial desktop window size of pyjamas, but it is not
>> working. Two solutions were discussed before (in
>> https://groups.google.com/forum/#!topic/pyjamas-dev/WzNwuHl43i8), but
>> both are not working in the current version.
>> >
>> > 1. pyjd.setup("http://localhost:10111/MainPy.html";, width=200,
>> height=800)
>> >
>> > I looked up the source code of pyjd.setup(), and I found that the
>> parameters width and height were ignored in the current version. I guess
>> that it used to work, but got broken after some version.
>> >
>> > 2. pyjamas.Window.resize(width=200, height=800)
>> >
>> > According to the source code, Window.resize() simply calls
>> wnd().resize(). It doesn't work too.
>> >
>> > In desktop version, window sizing is essential. Is there some other way
>> I can try?
>> >
>> > Thanks in advance.
>> >
>> I'll try to find some time to look into this next week.
>>
>> BTW. What engine are you using for pyjd?
>>
>
>
--
---
You received this message because you are subscribed to the Google Groups
"Pyjs.org 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.
