MatyldeIgier / tikzedt

Automatically exported from code.google.com/p/tikzedt
0 stars 0 forks source link

The text editor is not visible #75

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago
What steps will reproduce the problem?
?

The editor window is away. Yesterday it was OK, but today i made something - 
but what? 
I dont't know, how I made it and I don't konw, ho to bring it back. See 
attachement...

MikTex, Win 8.1

Tomáš

Original issue reported on code.google.com by tomas.h...@gmail.com on 27 Mar 2015 at 9:53

Attachments:

GoogleCodeExporter commented 8 years ago
Hmm, this was a bug in an earlier version which I thought I fixed. Are you 
using the newest version of Tikzedt?

(The text editor window is there but has width 0, ... actually it should not be 
allowed to be width 0, this is in fact a bug in a component I am using, not in 
my code.)

A workaround is to close Tikzedt, delete the config file 
(C:\Users\(your name)\Appdata\Roaming\Tikzedt\Tikzedt\0.2.3.0\Tikzedt.conf)
and restart Tikzedt

Original comment by t.willwa...@gmail.com on 27 Mar 2015 at 10:18

GoogleCodeExporter commented 8 years ago
Thank you, repaired!

Yes, my Tikzedt is in the latest verison.

Original comment by tomas.h...@gmail.com on 27 Mar 2015 at 11:16

GoogleCodeExporter commented 8 years ago
I just had this error with the newest version as well. Thanks for the fix.

Original comment by calcne...@gmail.com on 27 Apr 2015 at 7:15

GoogleCodeExporter commented 8 years ago
May be my problem is because I using 2 monitors. The left is in portrait 
position, the right one in lanscape positin. I am working with TikzEdit on the 
right one, but TikzEdist is always startin on tle left one and I have to move 
the window.

----
|   |
|   |------
|   ||     |
------------ 

Original comment by tomas.h...@gmail.com on 27 Apr 2015 at 7:38

GoogleCodeExporter commented 8 years ago
I am also using two monitors but mine are the exact monitors and also in the 
same positions.

Original comment by calcne...@gmail.com on 1 May 2015 at 12:21