After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 699323 - Use GSettings to get user terminal
Use GSettings to get user terminal
Status: RESOLVED FIXED
Product: anjuta
Classification: Applications
Component: libanjuta
git master
Other Linux
: Normal normal
: ---
Assigned To: Naba Kumar
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2013-04-30 14:48 UTC by Arnel Borja
Modified: 2013-05-06 20:12 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Use GSettings to get user terminal (2.14 KB, patch)
2013-04-30 15:13 UTC, Arnel Borja 		committed Details | Review

Description Arnel Borja 2013-04-30 14:48:42 UTC 
This will enable again the use of user settings to get the user terminal.
Comment 1 Arnel Borja 2013-04-30 15:13:51 UTC 
Created attachment 242930 [details] [review]
Use GSettings to get user terminal
Comment 2 Sébastien Granjoux 2013-05-06 20:12:51 UTC 
Review of attachment 242930 [details] [review]:

Thanks for your patch, I have just committed it.