Opened 11 years ago

Closed 11 years ago

#215 closed enhancement (fixed)

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:


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 (3)

comment:1 Changed 11 years ago by Sewi

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

comment:2 Changed 11 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 11 years ago by Sewi

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

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.