@Interceptor: Hm ... Benutzt du irgendwelche anderen Themes? Also nicht die normalen (Klassik, Luna)? Bei denen ist es standardmäßig Tahoma. Dass SharpDevelop dann deine Standardschriftart ignoriert und stattdessen Tahoma anzeigt, ist auf jeden Fall interessant.
