Ticket #215 (closed enhancement: fixed)

Opened 5 years ago

Last modified 5 years ago

Enable user-level configuration options to disable entire features

Reported by: adamk Owned by:
Priority: minor Milestone: Get Adam Kennedy on Padre
Component: editor Version: 0.23
Keywords: Cc:

Description

Some people, like me frankly, get really annoyed by certain features.

For example, things like bookmarks just get in the way for people that never use them, increase the size of the memory footprint, and add to the cognitive load.

Add support in the configuration system somewhere for disabling features that people might want to disable entirely in their "version" if Padre.

Change History

comment:1 Changed 5 years ago by Sewi

Alias Three main things to disable...
Alias Splash Screen, Bookmarks, maybe Sessions?

comment:2 Changed 5 years ago by Sewi

10:47 Alias I'd say for now we build it so you have to hand-edit the yaml file to change them

Here we go:
set "func_config" to "1" in your config.yml to enable all the nice options in your preferences dialog.

Still missing: Splash

comment:3 Changed 5 years ago by Sewi

  • Status changed from new to closed
  • Resolution set to fixed

No good, but working hack:
Set PADRE_NOSPLASH in your working environment to 1 and no splash screen will pop up.

Done in r7182

Note: See TracTickets for help on using tickets.