diff options
author | Therzok <teromario@yahoo.com> | 2013-09-23 23:52:05 +0400 |
---|---|---|
committer | Therzok <teromario@yahoo.com> | 2013-09-23 23:52:05 +0400 |
commit | c51fe7ab33b694996bf2e0071323616ed38badb2 (patch) | |
tree | c9fd2ee9ea6dd3fd845980d6097ffcc65043d05e /main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion | |
parent | f4885acb4f1c501820c4f3fdfbfd17125974b759 (diff) |
[Version Control] Made Repository/Backend/Client for implemented systems sealed
Diffstat (limited to 'main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion')
2 files changed, 5 insertions, 1 deletions
diff --git a/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/MonoDevelop.VersionControl.Subversion/SubversionRepository.cs b/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/MonoDevelop.VersionControl.Subversion/SubversionRepository.cs index 1a3c18c83f..f01ab63d50 100644 --- a/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/MonoDevelop.VersionControl.Subversion/SubversionRepository.cs +++ b/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/MonoDevelop.VersionControl.Subversion/SubversionRepository.cs @@ -11,7 +11,7 @@ using MonoDevelop.Ide; namespace MonoDevelop.VersionControl.Subversion
{
- public class SubversionRepository: UrlBasedRepository
+ public sealed class SubversionRepository: UrlBasedRepository
{
public SubversionRepository ()
{
diff --git a/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/gtk-gui/objects.xml b/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/gtk-gui/objects.xml index 46985a3e08..aa41067faf 100644 --- a/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/gtk-gui/objects.xml +++ b/main/src/addins/VersionControl/MonoDevelop.VersionControl.Subversion/gtk-gui/objects.xml @@ -213,6 +213,10 @@ <property name="DrawRightBorder" /> <property name="DefaultIconHeight" /> <property name="DefaultIconWidth" /> + <property name="DrawButtonShape" /> + <property name="DrawLeftBorder" /> + <property name="FixedWidth" /> + <property name="FixedHeight" /> </itemgroup> </itemgroups> <signals /> |