scala-lang issues

fallback to 'monospace' for code font-family

Some people like myself disable custom fonts on the web. The reasons are often related to accesibility. In my case it is dyslexia, but there are probably other vision related...

cjbayliss

Create a page for Scala IDEs

7

There is a page for libraries and tools (https://www.scala-lang.org/community/index.html#community-libraries-and-tools) and I know that an IDE is technically a tool, but: 1. No IDE is mentioned there 2. IDEs are central...

makingthematrix

Add PGP keys used by scala-lang to the security policy

11

hamzaremmal

Advanced Search Functionality on scala-lang.org Proposal

5

Advanced Search Functionality on scala-lang.org Proposal #### **Project Title**: Advanced Search Functionality for scala-lang.org #### **Description:** This project seeks to add full-text search, comprehensive, and user-friendly search functionality, filters, and...

PRIYANSHU2026

add Scala 2.13.15

for merge at announcement time

SethTisue

Orphan page in language tour: "Automatic Type-Dependent Closure Construction"

1

https://docs.scala-lang.org/tour/automatic-closures.html seems to be an orphan page that isn't in the language tour's table of contents and isn't linked to from within our site. I suspect its continued existence is...

SethTisue

Split community page into "Community" and "Governance"

2

the [community page](https://www.scala-lang.org/community/) is getting way too long, and these are two reasonably distinct subjects certainly community would link to governance, probably the reverse link too this came up at...

SethTisue