diff options
| author | Tak <levi@unity3d.com> | 2011-04-29 19:09:35 +0400 |
|---|---|---|
| committer | Tak <levi@unity3d.com> | 2011-04-29 19:09:35 +0400 |
| commit | f1481c4a961554ba6fa2a650213e5f0e9efe5033 (patch) | |
| tree | 27cafc405309e3647b7a30b05d091099ae545e7f /main/monodevelop.in | |
| parent | be16f11ebfd1e54e1120ad21a444932e422c18c1 (diff) | |
[Workaround] Workaround global menus in Unity gnome shell.
* main/Makefile.am:
* main/monodevelop.in: Disable Unity global menu.
License: MIT/X11
Diffstat (limited to 'main/monodevelop.in')
| -rwxr-xr-x | main/monodevelop.in | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/main/monodevelop.in b/main/monodevelop.in index a4dc2cb20e..78490549d5 100755 --- a/main/monodevelop.in +++ b/main/monodevelop.in @@ -1,5 +1,8 @@ #!/bin/bash +#Workaround for Unity gnome shell +export UBUNTU_MENUPROXY=0 + #this script should be in $PREFIX/bin MONO_EXEC="exec -a monodevelop mono" EXE_PATH="${0%%/bin/monodevelop}/lib/monodevelop/bin/MonoDevelop.exe" |