Ubuntu

geany-plugin-numberedbookmarks binary package in Ubuntu Jammy armhf

  1. Jammy (22.04)
  2. armhf
  3. geany-plugin-numberedbookmarks

 Geanynumberedbookmarks is a plugin to provide users with 10 numbered
 bookmarks (in addition to the usual bookkmarks).
 Normally if you had more than one bookmark, you would have to cycle
 through them until you reached the one you wanted. With this plugin you
 can go straight to the bookmark that you want with a single key
 combination.
 .
 Geany is a small and lightweight integrated development environment using the
 Gtk+ toolkit.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2021-10-26 09:48:53 UTC Published Ubuntu Jammy armhf release universe devel Optional 1.38+dfsg-1
  • Published
  • Copied from ubuntu jammy-proposed armhf in Primary Archive for Ubuntu
  Deleted Ubuntu Jammy armhf proposed universe devel Optional 1.38+dfsg-1
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  2021-10-26 09:49:31 UTC Superseded Ubuntu Jammy armhf release universe devel Optional 1.37+dfsg-6build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armhf build of geany-plugins 1.38+dfsg-1 in ubuntu jammy PROPOSED
  • Published
  • Copied from ubuntu hirsute-proposed armhf in Primary Archive for Ubuntu

Source package