[PATCH] gedit Manual Page Bugs

Bug #41035 reported by Richard Laager
10
Affects Status Importance Assigned to Milestone
gedit (Ubuntu)
Fix Released
Medium
Ubuntu Desktop Bugs

Bug Description

The manual page for gedit contains a small bug. The description section
starts like this:

DESCRIPTION
       gedit gedit is the official text editor of the GNOME desktop
environment.

"gedit" is duplicated. The first "gedit" is bold.

I started looking into this. It's a trivial fix to eliminate the
duplication. However, other man pages I looked always bolded the name of
the application. So, I made those changes as well. Attached is a patch.
I slightly reworded a couple things to eliminate the word "gedit" at the
end of the line. That way, it didn't look weird with a bolded period.

Revision history for this message
Richard Laager (rlaager) wrote : gedit.1.patch

[This space intentionally left blank.]

sam tygier (samtygier)
Changed in gedit:
status: Unconfirmed → Confirmed
Revision history for this message
Daniel Holbach (dholbach) wrote :

 gedit (2.14.2-0ubuntu2) dapper; urgency=low
 .
   * debian/patches/42_fix_gedit_manpage.patch:
     - applied patch from Richard Laager <email address hidden> to fix doubled
       occurences of 'gedit' in the manpage - thanks a lot.

Thanks again, Richard. I forwarded a modified patch (two .B were not at the beginning of the line) upstream as well: http://bugzilla.gnome.org/show_bug.cgi?id=339597

Changed in gedit:
assignee: nobody → desktop-bugs
status: Confirmed → Fix Released
To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.