return null;
}
- // Return a list of currently available database directories.
+ /// <summary>Return a list of currently available database
+ /// directory names</summary>.
public static string[] DirectoryList ()
{
List<string> dirs = new List<string> ();
: ListIndex - other.ListIndex);
}
}
-}
\ No newline at end of file
+}
MInterval head = find_head (start);
MInterval tail = find_tail (end);
+ M17n.DebugPrint ("Copying: {0}", copy);
+
if (! head.Stack.IsEmpty
&& (isSensitive && head.From < start
- || isFrontSensitive && ! first))
+ || (isFrontSensitive && ! first)))
{
+ M17n.DebugPrint (" clear head");
head = copy.find_head (0);
head.Stack.Clear ();
}
if (! tail.Stack.IsEmpty
- && (isSensitive && end < head.To
- || isRearSensitive && ! last))
+ && (isSensitive && end < tail.To
+ || (isRearSensitive && ! last)))
{
+ M17n.DebugPrint (" clear tail");
tail = copy.find_tail (copy.Length);
tail.Stack.Clear ();
}
- M17n.DebugPrint ("Copied: {0}\n", copy);
+ M17n.DebugPrint ("\n");
return copy;
}
interval = interval.Copy (mtext, start, end,
front_grafted,
(rear_grafted
- || (next == null && end < interval.mtext.Length)));
+ || (next == null && end == interval.mtext.Length)));
else
interval = new MInterval (Key, mtext, end - start, null);