Open GoogleCodeExporter opened 9 years ago
This is a known problem with an earlier version of Tikzedt, that I fixed, or at
least I hoped I did...
The editor window is still present, but has zero width, including the slider
that allows to change the width. (For the user it is the same as not present,
of course.)
One quick fix is to delete the settings file to reset the width setting.
If you were using the newest version of Tikzedt when this happened (i.e., the
bug is still present) let me know.
Original comment by t.willwa...@gmail.com
on 21 Oct 2013 at 3:57
bug is still there, same configuration as mentioned before and it just happend
in TikzEdt 0.2.3
Original comment by stevebig...@gmail.com
on 19 Feb 2014 at 3:56
Where is actually the settings file?
Original comment by stevebig...@gmail.com
on 19 Feb 2014 at 4:01
Original issue reported on code.google.com by
jope...@gmail.com
on 21 Oct 2013 at 2:39