void DisposeGCs()
{
foldBgGC = foldBgGC.Kill();
foldLineGC = foldLineGC.Kill();
foldLineHighlightedGC = foldLineHighlightedGC.Kill();
foldLineHighlightedGCBg = foldLineHighlightedGCBg.Kill();
foldToggleMarkerGC = foldToggleMarkerGC.Kill();
lineStateChangedGC = lineStateChangedGC.Kill();
lineStateDirtyGC = lineStateDirtyGC.Kill();
}
void DisposeGCs()
{
gc = gc.Kill();
bgGC = bgGC.Kill();
/* foldDashedLineGC = foldDashedLineGC.Kill ();
* foldDashedLineGC2 = foldDashedLineGC2.Kill ();
* bgGC = bgGC.Kill ();
* bgGC2 = bgGC2.Kill ();*/
}
