2025

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

List overview

Re: [Github-comments] [geany/geany-plugins] workbench: Changing options are not saved (#841)

Frank Lanitz

14 Apr 2019 14 Apr '19

7:18 p.m.

Done. While unexpected behaviour is a bug for me ;)

-- You are receiving this because you are subscribed to this thread. Reply to this email directly or view it on GitHub: https://github.com/geany/geany-plugins/issues/841#issuecomment-483021219

Attachments:

attachment.htm (text/html — 1.8 KB)

Reply

Back to the thread

Back to the list